2024/01/15

2024-01-15 00:02:48 +0100lockywolf(~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 00:04:21 +0100nschoe(nschoe@gateway/vpn/protonvpn/nschoe) (Quit: WeeChat 4.1.2)
2024-01-15 00:13:16 +0100lockywolf(~lockywolf@public.lockywolf.net)
2024-01-15 00:17:46 +0100lockywolf(~lockywolf@public.lockywolf.net) (Client Quit)
2024-01-15 00:18:04 +0100lockywolf(~lockywolf@public.lockywolf.net)
2024-01-15 00:20:53 +0100Ashkan(~Ashkan@147.161.173.72) (Quit: Client closed)
2024-01-15 00:22:31 +0100swistak(~swistak@185.21.216.141) (Quit: bye bye)
2024-01-15 00:22:35 +0100roosterphant(~roosterph@idlerpg/player/roosterphant) (Remote host closed the connection)
2024-01-15 00:22:47 +0100swistak(~swistak@185.21.216.141)
2024-01-15 00:22:56 +0100roosterphant(~roosterph@idlerpg/player/roosterphant)
2024-01-15 00:29:35 +0100roosterphant_(~roosterph@idlerpg/player/roosterphant)
2024-01-15 00:29:47 +0100swistak(~swistak@185.21.216.141) (Ping timeout: 252 seconds)
2024-01-15 00:29:59 +0100swistak(~swistak@185.21.216.141)
2024-01-15 00:31:22 +0100roosterphant(~roosterph@idlerpg/player/roosterphant) (Ping timeout: 276 seconds)
2024-01-15 00:37:43 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds)
2024-01-15 00:38:59 +0100 <c_wraith> I find it really odd that the number one thing people seem to use Hakyll for is blogs, yet there don't seem to be any libraries for doing things like "load a list of posts and build index pages for them"
2024-01-15 00:40:29 +0100tv(~tv@user/tv) (Ping timeout: 260 seconds)
2024-01-15 00:40:49 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2024-01-15 00:41:41 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-01-15 00:44:25 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-01-15 00:46:00 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-15 00:50:16 +0100 <haskellbridge> 06<s​m> it's very popular with new haskell fans setting up a new blog, but I think few of these setups develop into full-featured blog
2024-01-15 00:51:41 +0100 <haskellbridge> 06<s​m> I think lack of support (ecosystem and eg libraries like you mention) and costly updates (build time, poor durability over time) are ther easons
2024-01-15 00:53:48 +0100tv(~tv@user/tv)
2024-01-15 00:56:53 +0100euleritian(~euleritia@dynamic-046-114-166-180.46.114.pool.telefonica.de) (Ping timeout: 256 seconds)
2024-01-15 00:57:25 +0100euleritian(~euleritia@dynamic-046-114-180-228.46.114.pool.telefonica.de)
2024-01-15 00:58:27 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat)
2024-01-15 00:58:59 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-01-15 00:59:09 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-15 01:06:53 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.)
2024-01-15 01:07:37 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 264 seconds)
2024-01-15 01:08:23 +0100roosterphant_(~roosterph@idlerpg/player/roosterphant) (Killed (NickServ (GHOST command used by phant)))
2024-01-15 01:08:45 +0100roosterphant(~roosterph@idlerpg/player/roosterphant)
2024-01-15 01:11:31 +0100phma(phma@2001:5b0:210f:6f18:fa46:93b7:9a4f:d87a) (Read error: Connection reset by peer)
2024-01-15 01:11:59 +0100phma(~phma@host-67-44-208-110.hnremote.net)
2024-01-15 01:12:38 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com)
2024-01-15 01:15:48 +0100roosterphant(~roosterph@idlerpg/player/roosterphant) (Killed (NickServ (GHOST command used by phant)))
2024-01-15 01:17:16 +0100rvalue(~rvalue@user/rvalue)
2024-01-15 01:17:23 +0100TonyStone(~TonyStone@074-076-057-186.res.spectrum.com) (Client Quit)
2024-01-15 01:18:09 +0100roosterphant(~roosterph@idlerpg/player/roosterphant)
2024-01-15 01:22:10 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds)
2024-01-15 01:26:43 +0100puke(~puke@user/puke)
2024-01-15 01:30:59 +0100haritzondoharitz
2024-01-15 01:30:59 +0100haritz(~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host)
2024-01-15 01:30:59 +0100haritz(~hrtz@user/haritz)
2024-01-15 01:41:08 +0100haritzondo(~hrtz@2a02:6ea0:c318:1::a06e)
2024-01-15 01:41:17 +0100haritz(~hrtz@user/haritz) (Ping timeout: 252 seconds)
2024-01-15 01:45:25 +0100euleritian(~euleritia@dynamic-046-114-180-228.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 01:45:32 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-15 01:45:42 +0100euleritian(~euleritia@dynamic-046-114-093-144.46.114.pool.telefonica.de)
2024-01-15 01:45:52 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-15 01:50:31 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2024-01-15 01:51:46 +0100haritzondo(~hrtz@2a02:6ea0:c318:1::a06e) (Ping timeout: 256 seconds)
2024-01-15 01:52:17 +0100haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2024-01-15 01:52:17 +0100haritz(~hrtz@user/haritz)
2024-01-15 01:52:43 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-15 01:57:26 +0100bilegeek(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7)
2024-01-15 02:10:30 +0100mqlnv(~tripod@47.154.25.27) (Ping timeout: 260 seconds)
2024-01-15 02:12:01 +0100mqlnv(~tripod@47.154.25.27)
2024-01-15 02:28:07 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2024-01-15 02:28:37 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-01-15 02:37:49 +0100euleritian(~euleritia@dynamic-046-114-093-144.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2024-01-15 02:38:38 +0100euleritian(~euleritia@dynamic-046-114-003-098.46.114.pool.telefonica.de)
2024-01-15 02:47:41 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-01-15 02:48:06 +0100LBjerke(~LBjerke@207-153-20-198.fttp.usinternet.com)
2024-01-15 02:57:17 +0100euleritian(~euleritia@dynamic-046-114-003-098.46.114.pool.telefonica.de) (Ping timeout: 240 seconds)
2024-01-15 02:59:42 +0100LBjerke(~LBjerke@207-153-20-198.fttp.usinternet.com) (Ping timeout: 250 seconds)
2024-01-15 03:02:15 +0100mmhat(~mmh@p200300f1c724f9b0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2)
2024-01-15 03:05:12 +0100euleritian(~euleritia@dynamic-046-114-166-034.46.114.pool.telefonica.de)
2024-01-15 03:11:10 +0100puke(~puke@user/puke) (Ping timeout: 260 seconds)
2024-01-15 03:14:29 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
2024-01-15 03:21:31 +0100 <c_wraith> sm: what sort of "poor durability" do you mean?
2024-01-15 03:22:29 +0100[Leary](~Leary]@user/Leary/x-0910699)
2024-01-15 03:39:36 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
2024-01-15 03:44:11 +0100 <haskellbridge> 06<s​m> c_wraith: I mean fragility of the site build/update process due to compiler and deps churn and resource costs
2024-01-15 03:46:07 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
2024-01-15 03:47:21 +0100 <haskellbridge> 06<s​m> eg, "can't fix a typo on my site because I can't build the generator"
2024-01-15 03:47:41 +0100 <c_wraith> so.. stuff "cabal freeze" fixes?
2024-01-15 03:49:22 +0100 <haskellbridge> 06<s​m> we have more workarounds for it these days but I think it's still a real concern
2024-01-15 03:49:43 +0100chexum_(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
2024-01-15 03:50:47 +0100 <haskellbridge> 06<s​m> leave your site for a few years.. maybe upgrade your os.. now can you still build it ? if you're not a haskell expert ? you get my drift I think
2024-01-15 03:51:05 +0100 <haskellbridge> 06<s​m> (it happened to me)
2024-01-15 03:54:59 +0100 <EvanR> is it that the compiler updates so fast, or chad operator can't stick with 1 ghc version for more than 1 year
2024-01-15 03:56:55 +0100 <jackdk> My hakyll blog is under nix control, so I get the same GHC and library versions whenever I come back to it
2024-01-15 03:57:04 +0100 <yushyin> roughly follows the same line as some devs labelling their haskell projects as unmaintainable and rewriting it into something else after all.
2024-01-15 04:00:39 +0100 <haskellbridge> 06<s​m> obviously sufficiently motivated people can make it work just fine, but it's a relatively costly tool chain to run and maintain, so a drag on adoption
2024-01-15 04:01:40 +0100 <haskellbridge> 06<s​m> and I suppose beyond that the creator moved on, so nobody really pushing it forward
2024-01-15 04:01:52 +0100 <haskellbridge> 06<s​m> in an organized way
2024-01-15 04:02:04 +0100 <haskellbridge> 06<s​m> stop me if I'm out of date here
2024-01-15 04:02:46 +0100 <c_wraith> It's definitely got some weird design things. I don't know how much of that is imported from jekyll and how much is just inexperience when building hakyll
2024-01-15 04:04:37 +0100td_(~td@i5387090D.versanet.de) (Ping timeout: 264 seconds)
2024-01-15 04:05:58 +0100euleritian(~euleritia@dynamic-046-114-166-034.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 04:06:08 +0100td_(~td@i53870915.versanet.de)
2024-01-15 04:06:43 +0100euleritian(~euleritia@dynamic-046-114-002-129.46.114.pool.telefonica.de)
2024-01-15 04:07:05 +0100bilegeek_(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7)
2024-01-15 04:07:51 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
2024-01-15 04:08:35 +0100dsrt^(~cd@c-98-242-74-66.hsd1.ga.comcast.net)
2024-01-15 04:09:51 +0100bilegeek(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Ping timeout: 260 seconds)
2024-01-15 04:19:59 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-01-15 04:40:45 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
2024-01-15 04:52:37 +0100euleritian(~euleritia@dynamic-046-114-002-129.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 04:53:07 +0100euleritian(~euleritia@dynamic-046-114-207-057.46.114.pool.telefonica.de)
2024-01-15 05:03:04 +0100td_(~td@i53870915.versanet.de) (Ping timeout: 276 seconds)
2024-01-15 05:03:41 +0100tv(~tv@user/tv) (Ping timeout: 240 seconds)
2024-01-15 05:04:13 +0100td_(~td@i5387093B.versanet.de)
2024-01-15 05:11:36 +0100aforemny(~aforemny@2001:9e8:6cdf:b200:3e77:da02:26f8:641b) (Ping timeout: 245 seconds)
2024-01-15 05:12:37 +0100aforemny(~aforemny@i59f516fc.versanet.de)
2024-01-15 05:17:13 +0100euleritian(~euleritia@dynamic-046-114-207-057.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 05:17:59 +0100euleritian(~euleritia@dynamic-046-114-088-255.46.114.pool.telefonica.de)
2024-01-15 05:18:04 +0100tv(~tv@user/tv)
2024-01-15 05:19:08 +0100not_reserved(~not_reser@185.153.177.152) (Quit: Client closed)
2024-01-15 05:24:37 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 255 seconds)
2024-01-15 05:54:05 +0100euleritian(~euleritia@dynamic-046-114-088-255.46.114.pool.telefonica.de) (Ping timeout: 245 seconds)
2024-01-15 05:54:43 +0100euleritian(~euleritia@dynamic-046-114-156-134.46.114.pool.telefonica.de)
2024-01-15 05:57:20 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-15 05:59:06 +0100ACuriousMoose9(~ACuriousM@142.166.18.53)
2024-01-15 05:59:15 +0100cptaffe(~cptaffe@user/cptaffe) (Ping timeout: 252 seconds)
2024-01-15 05:59:34 +0100cptaffe(~cptaffe@user/cptaffe)
2024-01-15 05:59:58 +0100ACuriousMoose(~ACuriousM@142.166.18.53) (Read error: Connection reset by peer)
2024-01-15 05:59:58 +0100ACuriousMoose9ACuriousMoose
2024-01-15 06:03:41 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-01-15 06:15:25 +0100fansly(~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds)
2024-01-15 06:16:17 +0100fansly(~fansly@103.3.220.223)
2024-01-15 06:18:15 +0100euleritian(~euleritia@dynamic-046-114-156-134.46.114.pool.telefonica.de) (Ping timeout: 245 seconds)
2024-01-15 06:19:10 +0100euleritian(~euleritia@dynamic-046-114-200-241.46.114.pool.telefonica.de)
2024-01-15 06:26:22 +0100euleritian(~euleritia@dynamic-046-114-200-241.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 06:26:42 +0100Square(~Square@user/square)
2024-01-15 06:26:52 +0100euleritian(~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de)
2024-01-15 06:31:00 +0100xdminsy(~xdminsy@117.147.71.199)
2024-01-15 06:32:23 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-01-15 06:32:38 +0100igemnace(~ian@user/igemnace)
2024-01-15 06:33:10 +0100trev(~trev@user/trev)
2024-01-15 06:34:07 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-01-15 06:37:44 +0100fansly(~fansly@103.3.220.223) (Ping timeout: 252 seconds)
2024-01-15 06:38:06 +0100fansly(~fansly@114.124.182.74)
2024-01-15 06:38:20 +0100michalz(~michalz@185.246.207.203)
2024-01-15 06:38:38 +0100Batzy(~quassel@user/batzy)
2024-01-15 06:38:40 +0100ft(~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving)
2024-01-15 06:47:25 +0100euleritian(~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-15 06:47:44 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 06:49:31 +0100berberman_(~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 06:49:52 +0100berberman(~berberman@user/berberman)
2024-01-15 06:53:40 +0100fansly(~fansly@114.124.182.74) (Remote host closed the connection)
2024-01-15 06:54:44 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-01-15 07:06:04 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-01-15 07:09:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2024-01-15 07:09:18 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 07:13:40 +0100puke(~puke@user/puke)
2024-01-15 07:15:37 +0100jjhoo(~jahakala@user/jjhoo) (Ping timeout: 268 seconds)
2024-01-15 07:19:29 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2024-01-15 07:26:06 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-01-15 07:26:27 +0100euleritian(~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de)
2024-01-15 07:28:25 +0100acidjnk_new(~acidjnk@p200300d6e72b930760d3245373e4603d.dip0.t-ipconnect.de)
2024-01-15 07:58:20 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-15 08:01:39 +0100phma(~phma@host-67-44-208-110.hnremote.net) (Read error: Connection reset by peer)
2024-01-15 08:02:29 +0100phma(phma@2001:5b0:211c:b4b8:39ad:c107:7e2f:12b5)
2024-01-15 08:08:58 +0100STNX(~STNX@176.254.244.83) (Ping timeout: 276 seconds)
2024-01-15 08:21:16 +0100jargon(~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection)
2024-01-15 08:23:20 +0100raym(~ray@user/raym) (Ping timeout: 252 seconds)
2024-01-15 08:24:18 +0100gmg(~user@user/gehmehgeh)
2024-01-15 08:25:41 +0100Square(~Square@user/square) (Ping timeout: 240 seconds)
2024-01-15 08:38:59 +0100raym(~ray@user/raym)
2024-01-15 08:42:03 +0100sroso(~sroso@user/SrOso)
2024-01-15 08:42:38 +0100sroso(~sroso@user/SrOso) (Max SendQ exceeded)
2024-01-15 08:43:02 +0100sroso(~sroso@user/SrOso)
2024-01-15 08:43:37 +0100sroso(~sroso@user/SrOso) (Max SendQ exceeded)
2024-01-15 08:44:31 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-15 08:47:24 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2024-01-15 08:49:11 +0100bilegeek_(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Remote host closed the connection)
2024-01-15 08:49:17 +0100sroso(~sroso@user/SrOso)
2024-01-15 08:49:31 +0100bilegeek(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7)
2024-01-15 08:53:04 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-01-15 08:55:20 +0100euleritian(~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-15 08:55:37 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 08:56:20 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2024-01-15 08:56:35 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2024-01-15 08:57:20 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2024-01-15 09:02:49 +0100meritamen(~meritamen@user/meritamen)
2024-01-15 09:05:36 +0100jyotiraditya(~jyotiradi@182.66.218.124)
2024-01-15 09:05:56 +0100spire(~spire@176.254.244.83)
2024-01-15 09:06:17 +0100jyotiraditya(~jyotiradi@182.66.218.124) (Client Quit)
2024-01-15 09:09:57 +0100Franciman(~Franciman@mx1.fracta.dev) (Remote host closed the connection)
2024-01-15 09:13:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-15 09:15:26 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net)
2024-01-15 09:17:53 +0100zer0bitz(~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer)
2024-01-15 09:18:18 +0100zetef(~quassel@95.77.17.251)
2024-01-15 09:18:42 +0100chele(~chele@user/chele)
2024-01-15 09:20:36 +0100CiaoSen(~Jura@2a05:5800:2c5:f00:ca4b:d6ff:fec1:99da)
2024-01-15 09:24:54 +0100zer0bitz(~zer0bitz@user/zer0bitz)
2024-01-15 09:30:33 +0100ricardo1(~ricardo@84.16.179.218)
2024-01-15 09:33:47 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-01-15 09:43:04 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-01-15 09:47:25 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-01-15 09:52:13 +0100Btw(~Btw@2400:1a00:bd11:e813:2e0:4cff:fefc:a34d)
2024-01-15 09:52:34 +0100zetef(~quassel@95.77.17.251) (Ping timeout: 268 seconds)
2024-01-15 09:53:30 +0100 <Btw> just wanted to ask if i map over a array and to create a new array , is that a functor?
2024-01-15 09:53:51 +0100waldo(~waldo@user/waldo)
2024-01-15 09:54:37 +0100 <[exa]> Btw: yeah `fmap` should be the perfect way to do that. May depend on the exact type of the array but for all sensible ones `fmap` should just work
2024-01-15 09:57:51 +0100lieven(~mal@ns2.wyrd.be) (Quit: WeeChat 3.0)
2024-01-15 09:59:35 +0100trev(~trev@user/trev) (Ping timeout: 252 seconds)
2024-01-15 10:02:07 +0100lieven(~mal@ns2.wyrd.be)
2024-01-15 10:06:52 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2024-01-15 10:07:13 +0100waldo(~waldo@user/waldo) (Ping timeout: 255 seconds)
2024-01-15 10:11:38 +0100trev(~trev@user/trev)
2024-01-15 10:13:57 +0100random-jellyfish(~developer@user/random-jellyfish)
2024-01-15 10:14:14 +0100random-jellyfish(~developer@user/random-jellyfish) (Remote host closed the connection)
2024-01-15 10:16:05 +0100crazazy(~user@130.89.171.133)
2024-01-15 10:30:53 +0100jjhoo(jahakala@user/jjhoo)
2024-01-15 10:31:00 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-01-15 10:38:53 +0100Btw(~Btw@2400:1a00:bd11:e813:2e0:4cff:fefc:a34d) (Quit: Client closed)
2024-01-15 10:47:13 +0100crazazy`(~user@mobield45d64c57ca8.roaming.utwente.nl)
2024-01-15 10:47:27 +0100cfricke(~cfricke@user/cfricke)
2024-01-15 10:48:55 +0100crazazy(~user@130.89.171.133) (Ping timeout: 246 seconds)
2024-01-15 10:49:19 +0100igemnace(~ian@user/igemnace)
2024-01-15 10:49:33 +0100bilegeek(~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Quit: Leaving)
2024-01-15 10:50:24 +0100danse-nr3(~danse@151.44.151.97)
2024-01-15 11:18:42 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-01-15 11:29:13 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 264 seconds)
2024-01-15 11:30:30 +0100__monty__(~toonn@user/toonn)
2024-01-15 11:31:47 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-01-15 11:35:35 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net)
2024-01-15 11:35:57 +0100CiaoSen(~Jura@2a05:5800:2c5:f00:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds)
2024-01-15 11:44:09 +0100meritamen(~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-01-15 11:46:47 +0100zmt01(~zmt00@user/zmt00)
2024-01-15 11:49:07 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 268 seconds)
2024-01-15 12:12:01 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection)
2024-01-15 12:12:21 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net)
2024-01-15 12:14:35 +0100average(uid473595@user/average)
2024-01-15 12:17:05 +0100biberu(~biberu@user/biberu) (Ping timeout: 252 seconds)
2024-01-15 12:17:48 +0100biberu(~biberu@user/biberu)
2024-01-15 12:24:00 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-01-15 12:28:25 +0100meritamen(~meritamen@user/meritamen)
2024-01-15 12:34:47 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747) (Remote host closed the connection)
2024-01-15 12:37:17 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds)
2024-01-15 12:40:05 +0100z_erica(~z_erica@static-6-218-26-46.ipcom.comunitel.net)
2024-01-15 12:41:14 +0100crazazy`(~user@mobield45d64c57ca8.roaming.utwente.nl) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
2024-01-15 12:41:23 +0100 <z_erica> hello! i am currently packaging ghc for a new linux distribution, and im running into snags related to unresolved dependencies im not sure at all how to investigate
2024-01-15 12:41:39 +0100 <z_erica> for the record, two things of note about this distribution are that it uses clang instead of gcc, and musl instead of glibc
2024-01-15 12:42:18 +0100 <z_erica> the most obvious way this problem shows is probably running something like `System.Posix.Env.getEnv "USER"` through ghci
2024-01-15 12:42:32 +0100 <z_erica> in which case it spits out `Could not load 'unixzm2zi8zi1zi0_SystemziPosixziEnv_getEnv_closure', dependency unresolved.`
2024-01-15 12:43:16 +0100 <z_erica> i feel like this has to be some unix symbols not getting linked in at _some_ point, but im unsure where to even begin looking
2024-01-15 12:43:18 +0100 <z_erica> any pointers?
2024-01-15 12:44:09 +0100 <z_erica> and of course if theres a better room for this kind of question please let me know
2024-01-15 12:44:46 +0100causal(~eric@50.35.85.7) (Quit: WeeChat 4.1.1)
2024-01-15 12:51:01 +0100 <danse-nr3> not sure, maybe #ghc
2024-01-15 12:51:10 +0100sroso(~sroso@user/SrOso) (Quit: Leaving :))
2024-01-15 12:52:28 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-01-15 12:52:48 +0100 <z_erica> ohh ill repost that there just in case, thank you!
2024-01-15 12:53:06 +0100dostoyevsky2(~sck@user/dostoyevsky2) (Ping timeout: 260 seconds)
2024-01-15 12:57:14 +0100 <danse-nr3> cool
2024-01-15 12:59:07 +0100crazazy(~user@130.89.171.133)
2024-01-15 13:04:56 +0100spire(~spire@176.254.244.83) (Ping timeout: 252 seconds)
2024-01-15 13:05:53 +0100phma(phma@2001:5b0:211c:b4b8:39ad:c107:7e2f:12b5) (Read error: Connection reset by peer)
2024-01-15 13:06:07 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747)
2024-01-15 13:06:37 +0100phma(~phma@host-67-44-208-19.hnremote.net)
2024-01-15 13:06:42 +0100danse-nr3(~danse@151.44.151.97) (Read error: Connection reset by peer)
2024-01-15 13:07:47 +0100crazazy(~user@130.89.171.133) (Ping timeout: 264 seconds)
2024-01-15 13:10:36 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-01-15 13:15:06 +0100everard(~everard@2001:67c:2564:a303:8630:1304:3fc8:e6f9)
2024-01-15 13:17:38 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2024-01-15 13:21:19 +0100Umeaboy(~kristoffe@94-255-145-133.cust.bredband2.com)
2024-01-15 13:22:26 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 245 seconds)
2024-01-15 13:22:50 +0100vglfr(~vglfr@90.167.190.94)
2024-01-15 13:29:57 +0100vglfr(~vglfr@90.167.190.94) (Read error: Connection reset by peer)
2024-01-15 13:30:21 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net)
2024-01-15 13:33:28 +0100Sylenth(~Sylenth1@176.254.244.83)
2024-01-15 13:33:58 +0100everard(~everard@2001:67c:2564:a303:8630:1304:3fc8:e6f9) (Ping timeout: 276 seconds)
2024-01-15 13:35:28 +0100everard(~everard@2001:67c:2564:a303:83da:3eb3:abdf:c1e7)
2024-01-15 13:40:11 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-01-15 13:41:49 +0100everard(~everard@2001:67c:2564:a303:83da:3eb3:abdf:c1e7) (Remote host closed the connection)
2024-01-15 13:42:11 +0100everard(~everard@2001:67c:2564:a303:a72d:d499:bb23:3c69)
2024-01-15 13:48:29 +0100everard(~everard@2001:67c:2564:a303:a72d:d499:bb23:3c69) (Ping timeout: 240 seconds)
2024-01-15 13:49:49 +0100danse-nr3(~danse@151.46.154.115)
2024-01-15 13:53:19 +0100dostoyevsky2(~sck@user/dostoyevsky2)
2024-01-15 13:55:07 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 246 seconds)
2024-01-15 14:03:58 +0100Joao003(~Joao003@190.108.99.13)
2024-01-15 14:25:15 +0100 <ncf> data D n = forall a. Eq a => D (Vec n a)
2024-01-15 14:25:20 +0100 <ncf> puzzle: show that the number of elements of D n follows a sequence on the OEIS
2024-01-15 14:25:28 +0100shriekingnoise(~shrieking@186.137.175.87)
2024-01-15 14:25:42 +0100 <ncf> puzzle': do it with Ord
2024-01-15 14:25:47 +0100z_erica(~z_erica@static-6-218-26-46.ipcom.comunitel.net) ()
2024-01-15 14:38:44 +0100waldo(~waldo@user/waldo)
2024-01-15 14:43:16 +0100waldo(~waldo@user/waldo) (Ping timeout: 245 seconds)
2024-01-15 14:47:34 +0100 <int-e> That's misstated... you're treating D (fromList [(),()]) and D (fromList [42,42]) as equivalent.
2024-01-15 14:48:00 +0100 <int-e> (maybe abusing notation; Vec n won't have a fromList)
2024-01-15 14:48:27 +0100 <ncf> they are indistinguishable, aren't they
2024-01-15 14:48:43 +0100 <ncf> a cannot escape its scope!
2024-01-15 14:48:49 +0100 <int-e> but they're not the same
2024-01-15 14:49:05 +0100 <ncf> they're the same enough
2024-01-15 14:49:17 +0100 <ncf> D n is isomorphic to Fin m and i'm asking what m is
2024-01-15 14:49:18 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-01-15 14:49:22 +0100 <[Leary]> They look the same to me.
2024-01-15 14:49:39 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de)
2024-01-15 14:49:50 +0100 <int-e> I'd much prefer "distinguishable".
2024-01-15 14:51:20 +0100Guest|77(~Guest|77@104.129.199.55)
2024-01-15 14:53:12 +0100 <int-e> > map (\xs -> [x == y | ys@(x:_) <- tails xs, y <- ys]) [[0/0],[1]]
2024-01-15 14:53:13 +0100 <lambdabot> [[False],[True]]
2024-01-15 14:54:23 +0100danse-nr3(~danse@151.46.154.115) (Ping timeout: 252 seconds)
2024-01-15 14:54:59 +0100 <ncf> > map (\xs -> [x == x | x <- xs]) [[0/0],[1]]
2024-01-15 14:55:01 +0100 <lambdabot> [[False],[True]]
2024-01-15 14:55:07 +0100 <int-e> Anyway I guess you want Bell numbers (I forgot) and Fubini numbers (I never heard of those I think)
2024-01-15 14:55:23 +0100 <ncf> oh yeah, i forgot to add that all instances should be assumed lawful (this one fails reflexivity)
2024-01-15 14:55:24 +0100 <int-e> ncf: I wanted a full characteristic result
2024-01-15 14:55:55 +0100waldo(~waldo@user/waldo)
2024-01-15 14:56:01 +0100 <ncf> yes, Bell and Fubini is correct
2024-01-15 14:56:20 +0100 <ncf> there's an interesting subtlety, imo, when trying to argue this formally
2024-01-15 14:56:24 +0100 <int-e> With lawless instances you'll get 2^(n(n+1)/2) and 3^(n(n+1)/2) or more if you include bottoms.
2024-01-15 14:56:51 +0100 <int-e> err
2024-01-15 14:56:59 +0100 <int-e> n^2 not n(n+1)/2
2024-01-15 14:57:08 +0100 <ncf> namely: a naive approach might be to say "well, Eq is a contravariant functor, so by coyoneda that's Eq (Vec n), so you count the lawful instances of Eq (Vec n)"
2024-01-15 14:57:18 +0100 <int-e> (why did I still assume symmetry, that's so silly)
2024-01-15 14:57:37 +0100 <ncf> but there's supposed to be exactly one instance of Eq (Vec n), so this can't be right
2024-01-15 14:57:41 +0100 <ncf> lawful instance*
2024-01-15 14:58:15 +0100 <ncf> (the reason of course is that this "strict" interpretation of Eq is not functorial; you have to weaken it to "equivalence relation" for it to be functorial)
2024-01-15 14:58:15 +0100 <int-e> hmm is that true?
2024-01-15 14:58:29 +0100 <int-e> you can just compare *some* of the elements
2024-01-15 14:58:49 +0100 <ncf> er sorry i mean Eq (Fin n)
2024-01-15 14:58:56 +0100 <ncf> well one of the laws is extensionality, and that seems like it fails if you randomly choose to identify 0 and 1 in Fin n
2024-01-15 14:59:16 +0100 <int-e> I'm not quite sure what you can do with an arbitrary set partition here
2024-01-15 14:59:16 +0100 <ncf> (namely it fails for the function (> 0) :: Fin n -> Bool)
2024-01-15 14:59:50 +0100 <int-e> eh extensionality fails a lot
2024-01-15 15:00:06 +0100 <int-e> it's more of a spiritual requirement than an actual one
2024-01-15 15:00:15 +0100 <ncf> where does it fail?
2024-01-15 15:00:30 +0100 <int-e> Take Data.Map.Map if you use internals
2024-01-15 15:01:04 +0100 <ncf> right
2024-01-15 15:01:34 +0100 <int-e> It's more prominent with Ord, where you have uses for stuff like Keyed k v = Key k v ordered just by the key.
2024-01-15 15:01:48 +0100danse-nr3(~danse@151.46.154.115)
2024-01-15 15:02:07 +0100 <ncf> so i guess for the subtlety to arise you really have to insist that instances are lawful to the letter
2024-01-15 15:13:10 +0100alycidyne(~kova@user/alycidyne)
2024-01-15 15:13:34 +0100 <alycidyne> Hello, can Haskell's class constraints be considered bounded quantification or not?
2024-01-15 15:23:52 +0100thegeekinside(~thegeekin@189.217.90.224)
2024-01-15 15:25:11 +0100waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)
2024-01-15 15:26:15 +0100 <danse-nr3> after quickly skimming through en.wikipedia.org/wiki/bounded_quantification i would say yes, although calling it "quantification" seems a bit improper to me, as one cannot choose whether to apply existential or universal quantification with a class constraint
2024-01-15 15:27:45 +0100 <danse-nr3> i understand quantification as something orthogonal to the predicate that goes with it
2024-01-15 15:27:56 +0100 <alycidyne> danse-nr3: yeah of course, but the gist of the idea is there, though AFAIK Haskell doesn't have subtyping per se
2024-01-15 15:28:06 +0100 <alycidyne> Or is that more a question of terminology?
2024-01-15 15:28:47 +0100 <danse-nr3> yeah the gist seems to be there
2024-01-15 15:30:32 +0100 <alycidyne> FWIW subtype polymorphism often is considered only wrt the actual run-time type of the function arguments (i.e. in the context of dynamic dispatch), which might be the major sticking point
2024-01-15 15:35:45 +0100ricardo__(~ricardo@shabang.toppoint.de)
2024-01-15 15:41:13 +0100waldo(~waldo@user/waldo)
2024-01-15 15:47:02 +0100danse-nr3(~danse@151.46.154.115) (Ping timeout: 256 seconds)
2024-01-15 15:49:17 +0100eron(~eron@168.196.116.143)
2024-01-15 15:49:53 +0100rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 15:52:01 +0100rembo10(~rembo10@main.remulis.com)
2024-01-15 15:59:04 +0100everard(~everard@2a10:3781:342:0:e8bd:5652:6309:d6d9)
2024-01-15 16:13:41 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2024-01-15 16:14:23 +0100 <kuribas> man, Python is so easy... The loops I need to go to make recursive generators work, as opposed to a lazy list...
2024-01-15 16:15:19 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-15 16:16:17 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-01-15 16:18:46 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-15 16:19:09 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 16:19:25 +0100alycidyne(~kova@user/alycidyne) (Quit: leaving)
2024-01-15 16:20:04 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-01-15 16:20:56 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 16:24:21 +0100 <monochrom> See my https://www.vex.net/~trebla/haskell/cont.xhtml#yield for how to do that in Haskell!
2024-01-15 16:33:35 +0100Guest|77(~Guest|77@104.129.199.55) (Quit: Connection closed)
2024-01-15 16:41:40 +0100 <kuribas> well, I meant sarcastically...
2024-01-15 16:41:53 +0100 <monochrom> haha OK!
2024-01-15 16:44:23 +0100average(uid473595@user/average) (Quit: Connection closed for inactivity)
2024-01-15 16:45:05 +0100 <kuribas> but still neat :)
2024-01-15 16:48:35 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2024-01-15 16:51:25 +0100justsomeguy(~justsomeg@user/justsomeguy)
2024-01-15 16:53:09 +0100danse-nr3(~danse@151.57.6.254)
2024-01-15 16:57:13 +0100meritamen(~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2024-01-15 17:00:39 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection)
2024-01-15 17:01:00 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net)
2024-01-15 17:04:24 +0100Guest|77(~Guest|77@165.225.243.34)
2024-01-15 17:06:22 +0100Guest|77(~Guest|77@165.225.243.34) (Client Quit)
2024-01-15 17:07:27 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
2024-01-15 17:12:53 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-01-15 17:14:16 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-01-15 17:15:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 17:18:41 +0100everard(~everard@2a10:3781:342:0:e8bd:5652:6309:d6d9) (Ping timeout: 260 seconds)
2024-01-15 17:36:36 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 268 seconds)
2024-01-15 17:37:52 +0100vglfr(~vglfr@90.167.189.62)
2024-01-15 17:48:56 +0100danse-nr3(~danse@151.57.6.254) (Ping timeout: 268 seconds)
2024-01-15 17:53:00 +0100vglfr(~vglfr@90.167.189.62) (Read error: Connection reset by peer)
2024-01-15 17:53:30 +0100vglfr(~vglfr@160.red-88-6-92.staticip.rima-tde.net)
2024-01-15 17:54:45 +0100average(uid473595@user/average)
2024-01-15 17:57:58 +0100alexherbo2(~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection)
2024-01-15 18:03:43 +0100machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds)
2024-01-15 18:07:43 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2024-01-15 18:21:26 +0100 <carbolymer> @pl \_ -> pure ()
2024-01-15 18:21:26 +0100 <lambdabot> const (pure ())
2024-01-15 18:21:39 +0100everard(~everard@2a10:3781:342:0:f72c:6418:902c:8ff6)
2024-01-15 18:22:17 +0100Tuplanolla(~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
2024-01-15 18:22:23 +0100 <carbolymer> nah, more characters
2024-01-15 18:23:51 +0100 <nullie> are you golfing?
2024-01-15 18:25:21 +0100 <tromp> how do I output a byte (value 0..255) to stdout?
2024-01-15 18:26:34 +0100 <carbolymer> nullie: always
2024-01-15 18:27:04 +0100 <nullie> carbolymer: is there a good codegolfing service?
2024-01-15 18:27:48 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-15 18:28:24 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds)
2024-01-15 18:28:34 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2024-01-15 18:28:54 +0100 <carbolymer> nullie: I was actually joking, I believe somewhere out there it is ;)
2024-01-15 18:29:16 +0100 <tromp> is there a function with type Word8 -> IO () ?
2024-01-15 18:29:30 +0100 <ncf> BS.putStr . BS.singleton
2024-01-15 18:29:47 +0100 <ncf> where BS = Data.ByteString
2024-01-15 18:29:55 +0100 <geekosaur> the elephant in the room being encodings
2024-01-15 18:32:08 +0100 <EvanR> or hPut
2024-01-15 18:32:15 +0100ft(~ft@p4fc2a1d8.dip0.t-ipconnect.de)
2024-01-15 18:33:14 +0100chomwitt(~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1)
2024-01-15 18:39:25 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-01-15 18:40:00 +0100 <tromp> thanks
2024-01-15 18:41:59 +0100eron(~eron@168.196.116.143) (Quit: Client closed)
2024-01-15 18:50:21 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-15 18:50:33 +0100alexherbo2(~alexherbo@207.39.22.93.rev.sfr.net)
2024-01-15 18:51:11 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 245 seconds)
2024-01-15 18:55:41 +0100everard(~everard@2a10:3781:342:0:f72c:6418:902c:8ff6) (Ping timeout: 256 seconds)
2024-01-15 18:59:20 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat)
2024-01-15 18:59:20 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-01-15 19:00:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 19:01:05 +0100rvalue(~rvalue@user/rvalue)
2024-01-15 19:01:23 +0100tt1231(~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com)
2024-01-15 19:06:40 +0100maukesets stdout to latin-1, outputs (chr n)
2024-01-15 19:13:12 +0100 <ncf> not a Word8!
2024-01-15 19:14:11 +0100target_i(~target_i@217.175.14.39)
2024-01-15 19:24:30 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-15 19:31:58 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2024-01-15 19:39:38 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2024-01-15 19:39:47 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-01-15 19:40:21 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de)
2024-01-15 19:42:14 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-15 19:43:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-01-15 19:44:37 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2024-01-15 19:46:07 +0100ystael(~ystael@user/ystael)
2024-01-15 19:48:10 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-01-15 19:49:12 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de)
2024-01-15 19:52:07 +0100biberu\(~biberu@user/biberu)
2024-01-15 19:53:02 +0100biberu(~biberu@user/biberu) (Ping timeout: 252 seconds)
2024-01-15 19:53:34 +0100biberu\biberu
2024-01-15 20:05:43 +0100mqlnv(~tripod@47.154.25.27) (Ping timeout: 255 seconds)
2024-01-15 20:07:36 +0100mqlnv(~tripod@47.154.25.27)
2024-01-15 20:12:23 +0100 <haskellbridge> 14<m​auke> toEnum . fromEnum
2024-01-15 20:13:17 +0100 <EvanR> how Word8 ruined an entire movie: this dialog from black panther 2 "it's protected with 265 bit encryption"
2024-01-15 20:14:07 +0100 <haskellbridge> 06<s​m> lol oh no! not 265 bit
2024-01-15 20:15:24 +0100 <nullie> Maybe it involved Dutch people. Tweehonderdzesenvijftig
2024-01-15 20:15:31 +0100 <duncan> How else would you protect assets?
2024-01-15 20:16:33 +0100 <c_wraith> tesla coils
2024-01-15 20:16:58 +0100 <darkling> Trained ferrets.
2024-01-15 20:17:08 +0100 <duncan> What is the haskellbridge account bridged.. to?
2024-01-15 20:17:20 +0100 <c_wraith> matrix
2024-01-15 20:17:28 +0100 <c_wraith> I think you can /whois it for more details
2024-01-15 20:26:58 +0100tomith(tomith@user/tomith)
2024-01-15 20:30:15 +0100 <[exa]> EvanR: c'mon that's 9 bits better!!1111
2024-01-15 20:33:49 +0100nickiminjaj(~nickiminj@user/laxhh)
2024-01-15 20:34:08 +0100nickiminjaj(~nickiminj@user/laxhh) (Client Quit)
2024-01-15 20:39:27 +0100johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2024-01-15 20:39:36 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-01-15 20:40:02 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-01-15 20:40:07 +0100df(~ben@justworks.xyz) (Remote host closed the connection)
2024-01-15 20:40:29 +0100johnw(~johnw@69.62.242.138)
2024-01-15 20:41:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Client Quit)
2024-01-15 20:41:55 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2024-01-15 20:44:40 +0100Franciman(~Franciman@mx1.fracta.dev)
2024-01-15 20:47:16 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747) (Remote host closed the connection)
2024-01-15 20:47:35 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1)
2024-01-15 20:48:15 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-15 20:49:02 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-15 20:49:39 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2024-01-15 21:08:19 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2024-01-15 21:08:24 +0100trev(~trev@user/trev) (Quit: trev)
2024-01-15 21:08:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-01-15 21:08:51 +0100trev(~trev@user/trev)
2024-01-15 21:12:55 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2024-01-15 21:15:02 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2024-01-15 21:15:26 +0100euleritian(~euleritia@2a02:810a:b00:1568:56b:3594:1896:9e43)
2024-01-15 21:18:04 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-01-15 21:31:34 +0100trev(~trev@user/trev) (Quit: trev)
2024-01-15 21:35:46 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2024-01-15 21:36:07 +0100chexum(~quassel@gateway/tor-sasl/chexum)
2024-01-15 21:36:46 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-01-15 21:36:59 +0100jargon(~jargon@211.sub-174-205-225.myvzw.com)
2024-01-15 21:40:59 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-01-15 21:42:40 +0100thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2024-01-15 21:44:33 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2024-01-15 21:48:31 +0100euleritian(~euleritia@2a02:810a:b00:1568:56b:3594:1896:9e43) (Ping timeout: 268 seconds)
2024-01-15 21:48:40 +0100euleritian(~euleritia@ip5f5ad3e3.dynamic.kabel-deutschland.de)
2024-01-15 21:50:04 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-15 21:51:12 +0100czy(~user@114.227.205.148) (Read error: Connection reset by peer)
2024-01-15 21:53:03 +0100czy(~user@114.226.59.181)
2024-01-15 21:54:00 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-01-15 21:59:17 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 22:01:00 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-01-15 22:08:56 +0100sagelywizard(~sagelywiz@c-76-147-2-166.hsd1.wa.comcast.net)
2024-01-15 22:09:50 +0100ski(~ski@remote11.chalmers.se) (Ping timeout: 260 seconds)
2024-01-15 22:10:01 +0100puke(~puke@user/puke) (Ping timeout: 246 seconds)
2024-01-15 22:10:22 +0100euleritian(~euleritia@ip5f5ad3e3.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
2024-01-15 22:10:24 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds)
2024-01-15 22:11:31 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de)
2024-01-15 22:11:35 +0100ski(~ski@remote11.chalmers.se)
2024-01-15 22:12:25 +0100sagelywizard(~sagelywiz@c-76-147-2-166.hsd1.wa.comcast.net) (Client Quit)
2024-01-15 22:13:54 +0100_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-01-15 22:15:20 +0100waldo(~waldo@user/waldo) (Ping timeout: 245 seconds)
2024-01-15 22:17:42 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-01-15 22:28:20 +0100Sgeo(~Sgeo@user/sgeo)
2024-01-15 22:30:25 +0100euleritian(~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Ping timeout: 264 seconds)
2024-01-15 22:33:51 +0100target_i(~target_i@217.175.14.39) (Quit: leaving)
2024-01-15 22:35:13 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2024-01-15 22:35:39 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2024-01-15 22:49:32 +0100mud(~mud@user/kadoban)
2024-01-15 22:58:15 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2024-01-15 23:00:44 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-01-15 23:00:54 +0100mud(~mud@user/kadoban) (Quit: quit)
2024-01-15 23:00:57 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2024-01-15 23:01:13 +0100mud(~mud@user/kadoban)
2024-01-15 23:05:13 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2024-01-15 23:09:56 +0100sudden(~cat@user/sudden) (Ping timeout: 252 seconds)
2024-01-15 23:10:50 +0100sudden(~cat@user/sudden)
2024-01-15 23:17:48 +0100chele(~chele@user/chele) (Remote host closed the connection)
2024-01-15 23:19:25 +0100Sgeo_(~Sgeo@user/sgeo)
2024-01-15 23:20:42 +0100ACuriousMoose(~ACuriousM@142.166.18.53) (Quit: Ping timeout (120 seconds))
2024-01-15 23:21:02 +0100ACuriousMoose(~ACuriousM@142.166.18.53)
2024-01-15 23:21:17 +0100simpleauthority(~simpleaut@user/simpleauthority) (Ping timeout: 260 seconds)
2024-01-15 23:21:42 +0100DigitalKiwi(~kiwi@137.184.156.191) (Remote host closed the connection)
2024-01-15 23:21:53 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-01-15 23:22:15 +0100DigitalKiwi(~kiwi@137.184.156.191)
2024-01-15 23:22:19 +0100simpleauthority(~simpleaut@user/simpleauthority)
2024-01-15 23:24:05 +0100Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection)
2024-01-15 23:27:11 +0100nshepperd2(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 260 seconds)
2024-01-15 23:28:03 +0100Wstfgl0(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2024-01-15 23:30:15 +0100incertia(~incertia@209.122.137.252) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 23:30:36 +0100incertia(~incertia@209.122.137.252)
2024-01-15 23:32:50 +0100nonzen(~nonzen@user/nonzen) (Ping timeout: 256 seconds)
2024-01-15 23:33:06 +0100nonzen(~nonzen@user/nonzen)
2024-01-15 23:34:08 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 252 seconds)
2024-01-15 23:34:54 +0100statusbot2(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2024-01-15 23:35:14 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer)
2024-01-15 23:37:33 +0100Fijxu(~Fijxu@user/fijxu) (Quit: XD!!)
2024-01-15 23:39:19 +0100krasjet(~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds)
2024-01-15 23:41:26 +0100czy(~user@114.226.59.181) (Read error: Connection reset by peer)
2024-01-15 23:42:04 +0100Joao003(~Joao003@190.108.99.13) (Read error: Connection reset by peer)
2024-01-15 23:42:32 +0100Joao003(~Joao003@190.108.99.13)
2024-01-15 23:42:42 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2024-01-15 23:43:42 +0100Fijxu(~Fijxu@user/fijxu)
2024-01-15 23:43:45 +0100bsima(~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 23:43:48 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2024-01-15 23:44:02 +0100krasjet(~krjst@2604:a880:800:c1::16b:8001)
2024-01-15 23:44:05 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001)
2024-01-15 23:46:33 +0100statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2024-01-15 23:47:25 +0100statusbot2(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection)
2024-01-15 23:49:25 +0100tzh_(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-15 23:50:16 +0100tabemann_(~tabemann@2600:1700:7990:24e0:8418:7d48:7fca:df7f)
2024-01-15 23:50:16 +0100erisco_(~erisco@d24-141-66-165.home.cgocable.net)
2024-01-15 23:50:18 +0100tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer)
2024-01-15 23:50:21 +0100erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 256 seconds)
2024-01-15 23:50:52 +0100noteness(~noteness@user/noteness) (Quit: bye)
2024-01-15 23:50:55 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2024-01-15 23:50:55 +0100Hooloovoo(~Hooloovoo@hax0rbana.org) (Remote host closed the connection)
2024-01-15 23:51:04 +0100incertia(~incertia@209.122.137.252) (Read error: Connection reset by peer)
2024-01-15 23:51:05 +0100noteness(~noteness@user/noteness)
2024-01-15 23:51:07 +0100erisco_erisco
2024-01-15 23:51:13 +0100dtman34_(~dtman34@2601:447:d000:93c9:ad99:f215:9ba0:8a79)
2024-01-15 23:51:13 +0100markasoftware(~quassel@107.161.26.124) (Read error: Connection reset by peer)
2024-01-15 23:51:25 +0100dtman34(~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2024-01-15 23:51:34 +0100mrmr15533(~mrmr@user/mrmr) (Read error: Connection reset by peer)
2024-01-15 23:52:01 +0100ACuriousMoose(~ACuriousM@142.166.18.53) (Ping timeout: 264 seconds)
2024-01-15 23:52:03 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2024-01-15 23:52:28 +0100ACuriousMoose(~ACuriousM@142.166.18.53)
2024-01-15 23:52:32 +0100incertia(~incertia@209.122.137.252)
2024-01-15 23:52:37 +0100mrmr15533(~mrmr@user/mrmr)
2024-01-15 23:52:37 +0100haskellbridge(~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds)
2024-01-15 23:52:38 +0100davean(~davean@davean.sciesnet.net) (Ping timeout: 264 seconds)
2024-01-15 23:52:38 +0100energizer(~energizer@user/energizer) (Ping timeout: 264 seconds)
2024-01-15 23:52:38 +0100sajith(~sajith@user/sajith) (Ping timeout: 264 seconds)
2024-01-15 23:52:38 +0100justache(~justache@user/justache) (Ping timeout: 264 seconds)
2024-01-15 23:52:59 +0100markasoftware(~quassel@107.161.26.124)
2024-01-15 23:53:18 +0100Hooloovoo(~Hooloovoo@hax0rbana.org)
2024-01-15 23:53:26 +0100justache(~justache@user/justache)
2024-01-15 23:53:42 +0100adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2024-01-15 23:53:57 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 23:53:58 +0100sajith(~sajith@user/sajith)
2024-01-15 23:54:04 +0100elkcl(~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru)
2024-01-15 23:54:17 +0100bsima(~bsima@2604:a880:400:d0::19f1:7001)
2024-01-15 23:54:18 +0100tzh_(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Remote host closed the connection)
2024-01-15 23:54:25 +0100tzh_(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2024-01-15 23:54:34 +0100michalz(~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in)
2024-01-15 23:55:35 +0100energizer(~energizer@user/energizer)
2024-01-15 23:55:46 +0100krasjet(~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds)
2024-01-15 23:57:22 +0100chomwitt(~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Remote host closed the connection)
2024-01-15 23:57:23 +0100krasjet(~krjst@2604:a880:800:c1::16b:8001)
2024-01-15 23:57:25 +0100AndreiDuma(~textual@95.76.23.32)
2024-01-15 23:58:14 +0100AndreiDuma(~textual@95.76.23.32) ()
2024-01-15 23:58:26 +0100glguy_(g@libera/staff/glguy)
2024-01-15 23:58:33 +0100glguy(glguy@libera/staff/glguy) (Killed (neon.libera.chat (Nickname regained by services)))
2024-01-15 23:58:33 +0100glguy_glguy