2024-01-15 00:02:48 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 00:04:21 +0100 | nschoe | (nschoe@gateway/vpn/protonvpn/nschoe) (Quit: WeeChat 4.1.2) |
2024-01-15 00:13:16 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-01-15 00:17:46 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) (Client Quit) |
2024-01-15 00:18:04 +0100 | lockywolf | (~lockywolf@public.lockywolf.net) |
2024-01-15 00:20:53 +0100 | Ashkan | (~Ashkan@147.161.173.72) (Quit: Client closed) |
2024-01-15 00:22:31 +0100 | swistak | (~swistak@185.21.216.141) (Quit: bye bye) |
2024-01-15 00:22:35 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) (Remote host closed the connection) |
2024-01-15 00:22:47 +0100 | swistak | (~swistak@185.21.216.141) |
2024-01-15 00:22:56 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) |
2024-01-15 00:29:35 +0100 | roosterphant_ | (~roosterph@idlerpg/player/roosterphant) |
2024-01-15 00:29:47 +0100 | swistak | (~swistak@185.21.216.141) (Ping timeout: 252 seconds) |
2024-01-15 00:29:59 +0100 | swistak | (~swistak@185.21.216.141) |
2024-01-15 00:31:22 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) (Ping timeout: 276 seconds) |
2024-01-15 00:37:43 +0100 | stiell | (~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 +0100 | tv | (~tv@user/tv) (Ping timeout: 260 seconds) |
2024-01-15 00:40:49 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) |
2024-01-15 00:41:41 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-01-15 00:44:25 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-01-15 00:46:00 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-15 00:50:16 +0100 | <haskellbridge> | 06<sm> 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<sm> 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 +0100 | tv | (~tv@user/tv) |
2024-01-15 00:56:53 +0100 | euleritian | (~euleritia@dynamic-046-114-166-180.46.114.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-01-15 00:57:25 +0100 | euleritian | (~euleritia@dynamic-046-114-180-228.46.114.pool.telefonica.de) |
2024-01-15 00:58:27 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
2024-01-15 00:58:59 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-01-15 00:59:09 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-15 01:06:53 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-01-15 01:07:37 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
2024-01-15 01:08:23 +0100 | roosterphant_ | (~roosterph@idlerpg/player/roosterphant) (Killed (NickServ (GHOST command used by phant))) |
2024-01-15 01:08:45 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) |
2024-01-15 01:11:31 +0100 | phma | (phma@2001:5b0:210f:6f18:fa46:93b7:9a4f:d87a) (Read error: Connection reset by peer) |
2024-01-15 01:11:59 +0100 | phma | (~phma@host-67-44-208-110.hnremote.net) |
2024-01-15 01:12:38 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) |
2024-01-15 01:15:48 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) (Killed (NickServ (GHOST command used by phant))) |
2024-01-15 01:17:16 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-01-15 01:17:23 +0100 | TonyStone | (~TonyStone@074-076-057-186.res.spectrum.com) (Client Quit) |
2024-01-15 01:18:09 +0100 | roosterphant | (~roosterph@idlerpg/player/roosterphant) |
2024-01-15 01:22:10 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 264 seconds) |
2024-01-15 01:26:43 +0100 | puke | (~puke@user/puke) |
2024-01-15 01:30:59 +0100 | haritzondo | haritz |
2024-01-15 01:30:59 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
2024-01-15 01:30:59 +0100 | haritz | (~hrtz@user/haritz) |
2024-01-15 01:41:08 +0100 | haritzondo | (~hrtz@2a02:6ea0:c318:1::a06e) |
2024-01-15 01:41:17 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
2024-01-15 01:45:25 +0100 | euleritian | (~euleritia@dynamic-046-114-180-228.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 01:45:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-15 01:45:42 +0100 | euleritian | (~euleritia@dynamic-046-114-093-144.46.114.pool.telefonica.de) |
2024-01-15 01:45:52 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-15 01:50:31 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
2024-01-15 01:51:46 +0100 | haritzondo | (~hrtz@2a02:6ea0:c318:1::a06e) (Ping timeout: 256 seconds) |
2024-01-15 01:52:17 +0100 | haritz | (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
2024-01-15 01:52:17 +0100 | haritz | (~hrtz@user/haritz) |
2024-01-15 01:52:43 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-15 01:57:26 +0100 | bilegeek | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) |
2024-01-15 02:10:30 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 260 seconds) |
2024-01-15 02:12:01 +0100 | mqlnv | (~tripod@47.154.25.27) |
2024-01-15 02:28:07 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2024-01-15 02:28:37 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-01-15 02:37:49 +0100 | euleritian | (~euleritia@dynamic-046-114-093-144.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
2024-01-15 02:38:38 +0100 | euleritian | (~euleritia@dynamic-046-114-003-098.46.114.pool.telefonica.de) |
2024-01-15 02:47:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-01-15 02:48:06 +0100 | LBjerke | (~LBjerke@207-153-20-198.fttp.usinternet.com) |
2024-01-15 02:57:17 +0100 | euleritian | (~euleritia@dynamic-046-114-003-098.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
2024-01-15 02:59:42 +0100 | LBjerke | (~LBjerke@207-153-20-198.fttp.usinternet.com) (Ping timeout: 250 seconds) |
2024-01-15 03:02:15 +0100 | mmhat | (~mmh@p200300f1c724f9b0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
2024-01-15 03:05:12 +0100 | euleritian | (~euleritia@dynamic-046-114-166-034.46.114.pool.telefonica.de) |
2024-01-15 03:11:10 +0100 | puke | (~puke@user/puke) (Ping timeout: 260 seconds) |
2024-01-15 03:14:29 +0100 | machinedgod | (~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 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection) |
2024-01-15 03:44:11 +0100 | <haskellbridge> | 06<sm> 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 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) |
2024-01-15 03:47:21 +0100 | <haskellbridge> | 06<sm> 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<sm> we have more workarounds for it these days but I think it's still a real concern |
2024-01-15 03:49:43 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds) |
2024-01-15 03:50:47 +0100 | <haskellbridge> | 06<sm> 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<sm> (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<sm> 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<sm> and I suppose beyond that the creator moved on, so nobody really pushing it forward |
2024-01-15 04:01:52 +0100 | <haskellbridge> | 06<sm> in an organized way |
2024-01-15 04:02:04 +0100 | <haskellbridge> | 06<sm> 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 +0100 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 264 seconds) |
2024-01-15 04:05:58 +0100 | euleritian | (~euleritia@dynamic-046-114-166-034.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 04:06:08 +0100 | td_ | (~td@i53870915.versanet.de) |
2024-01-15 04:06:43 +0100 | euleritian | (~euleritia@dynamic-046-114-002-129.46.114.pool.telefonica.de) |
2024-01-15 04:07:05 +0100 | bilegeek_ | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) |
2024-01-15 04:07:51 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
2024-01-15 04:08:35 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
2024-01-15 04:09:51 +0100 | bilegeek | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Ping timeout: 260 seconds) |
2024-01-15 04:19:59 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-01-15 04:40:45 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
2024-01-15 04:52:37 +0100 | euleritian | (~euleritia@dynamic-046-114-002-129.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 04:53:07 +0100 | euleritian | (~euleritia@dynamic-046-114-207-057.46.114.pool.telefonica.de) |
2024-01-15 05:03:04 +0100 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 276 seconds) |
2024-01-15 05:03:41 +0100 | tv | (~tv@user/tv) (Ping timeout: 240 seconds) |
2024-01-15 05:04:13 +0100 | td_ | (~td@i5387093B.versanet.de) |
2024-01-15 05:11:36 +0100 | aforemny | (~aforemny@2001:9e8:6cdf:b200:3e77:da02:26f8:641b) (Ping timeout: 245 seconds) |
2024-01-15 05:12:37 +0100 | aforemny | (~aforemny@i59f516fc.versanet.de) |
2024-01-15 05:17:13 +0100 | euleritian | (~euleritia@dynamic-046-114-207-057.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 05:17:59 +0100 | euleritian | (~euleritia@dynamic-046-114-088-255.46.114.pool.telefonica.de) |
2024-01-15 05:18:04 +0100 | tv | (~tv@user/tv) |
2024-01-15 05:19:08 +0100 | not_reserved | (~not_reser@185.153.177.152) (Quit: Client closed) |
2024-01-15 05:24:37 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 255 seconds) |
2024-01-15 05:54:05 +0100 | euleritian | (~euleritia@dynamic-046-114-088-255.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
2024-01-15 05:54:43 +0100 | euleritian | (~euleritia@dynamic-046-114-156-134.46.114.pool.telefonica.de) |
2024-01-15 05:57:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-15 05:59:06 +0100 | ACuriousMoose9 | (~ACuriousM@142.166.18.53) |
2024-01-15 05:59:15 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 252 seconds) |
2024-01-15 05:59:34 +0100 | cptaffe | (~cptaffe@user/cptaffe) |
2024-01-15 05:59:58 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) (Read error: Connection reset by peer) |
2024-01-15 05:59:58 +0100 | ACuriousMoose9 | ACuriousMoose |
2024-01-15 06:03:41 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-01-15 06:15:25 +0100 | fansly | (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 264 seconds) |
2024-01-15 06:16:17 +0100 | fansly | (~fansly@103.3.220.223) |
2024-01-15 06:18:15 +0100 | euleritian | (~euleritia@dynamic-046-114-156-134.46.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
2024-01-15 06:19:10 +0100 | euleritian | (~euleritia@dynamic-046-114-200-241.46.114.pool.telefonica.de) |
2024-01-15 06:26:22 +0100 | euleritian | (~euleritia@dynamic-046-114-200-241.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 06:26:42 +0100 | Square | (~Square@user/square) |
2024-01-15 06:26:52 +0100 | euleritian | (~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) |
2024-01-15 06:31:00 +0100 | xdminsy | (~xdminsy@117.147.71.199) |
2024-01-15 06:32:23 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-01-15 06:32:38 +0100 | igemnace | (~ian@user/igemnace) |
2024-01-15 06:33:10 +0100 | trev | (~trev@user/trev) |
2024-01-15 06:34:07 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-01-15 06:37:44 +0100 | fansly | (~fansly@103.3.220.223) (Ping timeout: 252 seconds) |
2024-01-15 06:38:06 +0100 | fansly | (~fansly@114.124.182.74) |
2024-01-15 06:38:20 +0100 | michalz | (~michalz@185.246.207.203) |
2024-01-15 06:38:38 +0100 | Batzy | (~quassel@user/batzy) |
2024-01-15 06:38:40 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) (Quit: leaving) |
2024-01-15 06:47:25 +0100 | euleritian | (~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-15 06:47:44 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 06:49:31 +0100 | berberman_ | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 06:49:52 +0100 | berberman | (~berberman@user/berberman) |
2024-01-15 06:53:40 +0100 | fansly | (~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 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-01-15 07:09:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 07:13:40 +0100 | puke | (~puke@user/puke) |
2024-01-15 07:15:37 +0100 | jjhoo | (~jahakala@user/jjhoo) (Ping timeout: 268 seconds) |
2024-01-15 07:19:29 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-01-15 07:26:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-01-15 07:26:27 +0100 | euleritian | (~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) |
2024-01-15 07:28:25 +0100 | acidjnk_new | (~acidjnk@p200300d6e72b930760d3245373e4603d.dip0.t-ipconnect.de) |
2024-01-15 07:58:20 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-15 08:01:39 +0100 | phma | (~phma@host-67-44-208-110.hnremote.net) (Read error: Connection reset by peer) |
2024-01-15 08:02:29 +0100 | phma | (phma@2001:5b0:211c:b4b8:39ad:c107:7e2f:12b5) |
2024-01-15 08:08:58 +0100 | STNX | (~STNX@176.254.244.83) (Ping timeout: 276 seconds) |
2024-01-15 08:21:16 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) (Remote host closed the connection) |
2024-01-15 08:23:20 +0100 | raym | (~ray@user/raym) (Ping timeout: 252 seconds) |
2024-01-15 08:24:18 +0100 | gmg | (~user@user/gehmehgeh) |
2024-01-15 08:25:41 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
2024-01-15 08:38:59 +0100 | raym | (~ray@user/raym) |
2024-01-15 08:42:03 +0100 | sroso | (~sroso@user/SrOso) |
2024-01-15 08:42:38 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
2024-01-15 08:43:02 +0100 | sroso | (~sroso@user/SrOso) |
2024-01-15 08:43:37 +0100 | sroso | (~sroso@user/SrOso) (Max SendQ exceeded) |
2024-01-15 08:44:31 +0100 | azimut | (~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 +0100 | bilegeek_ | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Remote host closed the connection) |
2024-01-15 08:49:17 +0100 | sroso | (~sroso@user/SrOso) |
2024-01-15 08:49:31 +0100 | bilegeek | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) |
2024-01-15 08:53:04 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-01-15 08:55:20 +0100 | euleritian | (~euleritia@dynamic-046-114-224-133.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-15 08:55:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 08:56:20 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
2024-01-15 08:56:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-01-15 08:57:20 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
2024-01-15 09:02:49 +0100 | meritamen | (~meritamen@user/meritamen) |
2024-01-15 09:05:36 +0100 | jyotiraditya | (~jyotiradi@182.66.218.124) |
2024-01-15 09:05:56 +0100 | spire | (~spire@176.254.244.83) |
2024-01-15 09:06:17 +0100 | jyotiraditya | (~jyotiradi@182.66.218.124) (Client Quit) |
2024-01-15 09:09:57 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
2024-01-15 09:13:22 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-15 09:15:26 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) |
2024-01-15 09:17:53 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
2024-01-15 09:18:18 +0100 | zetef | (~quassel@95.77.17.251) |
2024-01-15 09:18:42 +0100 | chele | (~chele@user/chele) |
2024-01-15 09:20:36 +0100 | CiaoSen | (~Jura@2a05:5800:2c5:f00:ca4b:d6ff:fec1:99da) |
2024-01-15 09:24:54 +0100 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-01-15 09:30:33 +0100 | ricardo1 | (~ricardo@84.16.179.218) |
2024-01-15 09:33:47 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-01-15 09:43:04 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2024-01-15 09:47:25 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-01-15 09:52:13 +0100 | Btw | (~Btw@2400:1a00:bd11:e813:2e0:4cff:fefc:a34d) |
2024-01-15 09:52:34 +0100 | zetef | (~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 +0100 | waldo | (~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 +0100 | lieven | (~mal@ns2.wyrd.be) (Quit: WeeChat 3.0) |
2024-01-15 09:59:35 +0100 | trev | (~trev@user/trev) (Ping timeout: 252 seconds) |
2024-01-15 10:02:07 +0100 | lieven | (~mal@ns2.wyrd.be) |
2024-01-15 10:06:52 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
2024-01-15 10:07:13 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 255 seconds) |
2024-01-15 10:11:38 +0100 | trev | (~trev@user/trev) |
2024-01-15 10:13:57 +0100 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-01-15 10:14:14 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Remote host closed the connection) |
2024-01-15 10:16:05 +0100 | crazazy | (~user@130.89.171.133) |
2024-01-15 10:30:53 +0100 | jjhoo | (jahakala@user/jjhoo) |
2024-01-15 10:31:00 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
2024-01-15 10:38:53 +0100 | Btw | (~Btw@2400:1a00:bd11:e813:2e0:4cff:fefc:a34d) (Quit: Client closed) |
2024-01-15 10:47:13 +0100 | crazazy` | (~user@mobield45d64c57ca8.roaming.utwente.nl) |
2024-01-15 10:47:27 +0100 | cfricke | (~cfricke@user/cfricke) |
2024-01-15 10:48:55 +0100 | crazazy | (~user@130.89.171.133) (Ping timeout: 246 seconds) |
2024-01-15 10:49:19 +0100 | igemnace | (~ian@user/igemnace) |
2024-01-15 10:49:33 +0100 | bilegeek | (~bilegeek@2600:1008:b083:2884:c749:d9c9:d931:aed7) (Quit: Leaving) |
2024-01-15 10:50:24 +0100 | danse-nr3 | (~danse@151.44.151.97) |
2024-01-15 11:18:42 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-01-15 11:29:13 +0100 | vglfr | (~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 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2024-01-15 11:35:35 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) |
2024-01-15 11:35:57 +0100 | CiaoSen | (~Jura@2a05:5800:2c5:f00:ca4b:d6ff:fec1:99da) (Ping timeout: 256 seconds) |
2024-01-15 11:44:09 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-01-15 11:46:47 +0100 | zmt01 | (~zmt00@user/zmt00) |
2024-01-15 11:49:07 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
2024-01-15 12:12:01 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection) |
2024-01-15 12:12:21 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) |
2024-01-15 12:14:35 +0100 | average | (uid473595@user/average) |
2024-01-15 12:17:05 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
2024-01-15 12:17:48 +0100 | biberu | (~biberu@user/biberu) |
2024-01-15 12:24:00 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-01-15 12:28:25 +0100 | meritamen | (~meritamen@user/meritamen) |
2024-01-15 12:34:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747) (Remote host closed the connection) |
2024-01-15 12:37:17 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
2024-01-15 12:40:05 +0100 | z_erica | (~z_erica@static-6-218-26-46.ipcom.comunitel.net) |
2024-01-15 12:41:14 +0100 | crazazy` | (~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 +0100 | causal | (~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 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
2024-01-15 12:52:28 +0100 | lortabac | (~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 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
2024-01-15 12:57:14 +0100 | <danse-nr3> | cool |
2024-01-15 12:59:07 +0100 | crazazy | (~user@130.89.171.133) |
2024-01-15 13:04:56 +0100 | spire | (~spire@176.254.244.83) (Ping timeout: 252 seconds) |
2024-01-15 13:05:53 +0100 | phma | (phma@2001:5b0:211c:b4b8:39ad:c107:7e2f:12b5) (Read error: Connection reset by peer) |
2024-01-15 13:06:07 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747) |
2024-01-15 13:06:37 +0100 | phma | (~phma@host-67-44-208-19.hnremote.net) |
2024-01-15 13:06:42 +0100 | danse-nr3 | (~danse@151.44.151.97) (Read error: Connection reset by peer) |
2024-01-15 13:07:47 +0100 | crazazy | (~user@130.89.171.133) (Ping timeout: 264 seconds) |
2024-01-15 13:10:36 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-01-15 13:15:06 +0100 | everard | (~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 +0100 | Umeaboy | (~kristoffe@94-255-145-133.cust.bredband2.com) |
2024-01-15 13:22:26 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 245 seconds) |
2024-01-15 13:22:50 +0100 | vglfr | (~vglfr@90.167.190.94) |
2024-01-15 13:29:57 +0100 | vglfr | (~vglfr@90.167.190.94) (Read error: Connection reset by peer) |
2024-01-15 13:30:21 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) |
2024-01-15 13:33:28 +0100 | Sylenth | (~Sylenth1@176.254.244.83) |
2024-01-15 13:33:58 +0100 | everard | (~everard@2001:67c:2564:a303:8630:1304:3fc8:e6f9) (Ping timeout: 276 seconds) |
2024-01-15 13:35:28 +0100 | everard | (~everard@2001:67c:2564:a303:83da:3eb3:abdf:c1e7) |
2024-01-15 13:40:11 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-01-15 13:41:49 +0100 | everard | (~everard@2001:67c:2564:a303:83da:3eb3:abdf:c1e7) (Remote host closed the connection) |
2024-01-15 13:42:11 +0100 | everard | (~everard@2001:67c:2564:a303:a72d:d499:bb23:3c69) |
2024-01-15 13:48:29 +0100 | everard | (~everard@2001:67c:2564:a303:a72d:d499:bb23:3c69) (Ping timeout: 240 seconds) |
2024-01-15 13:49:49 +0100 | danse-nr3 | (~danse@151.46.154.115) |
2024-01-15 13:53:19 +0100 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
2024-01-15 13:55:07 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 246 seconds) |
2024-01-15 14:03:58 +0100 | Joao003 | (~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 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
2024-01-15 14:25:42 +0100 | <ncf> | puzzle': do it with Ord |
2024-01-15 14:25:47 +0100 | z_erica | (~z_erica@static-6-218-26-46.ipcom.comunitel.net) () |
2024-01-15 14:38:44 +0100 | waldo | (~waldo@user/waldo) |
2024-01-15 14:43:16 +0100 | waldo | (~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 +0100 | euleritian | (~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 +0100 | euleritian | (~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 +0100 | Guest|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 +0100 | danse-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 +0100 | waldo | (~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 +0100 | danse-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 +0100 | alycidyne | (~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 +0100 | thegeekinside | (~thegeekin@189.217.90.224) |
2024-01-15 15:25:11 +0100 | waldo | (~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 +0100 | ricardo__ | (~ricardo@shabang.toppoint.de) |
2024-01-15 15:41:13 +0100 | waldo | (~waldo@user/waldo) |
2024-01-15 15:47:02 +0100 | danse-nr3 | (~danse@151.46.154.115) (Ping timeout: 256 seconds) |
2024-01-15 15:49:17 +0100 | eron | (~eron@168.196.116.143) |
2024-01-15 15:49:53 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 15:52:01 +0100 | rembo10 | (~rembo10@main.remulis.com) |
2024-01-15 15:59:04 +0100 | everard | (~everard@2a10:3781:342:0:e8bd:5652:6309:d6d9) |
2024-01-15 16:13:41 +0100 | kuribas | (~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 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-15 16:16:17 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
2024-01-15 16:18:46 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-15 16:19:09 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 16:19:25 +0100 | alycidyne | (~kova@user/alycidyne) (Quit: leaving) |
2024-01-15 16:20:04 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-01-15 16:20:56 +0100 | euleritian | (~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 +0100 | Guest|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 +0100 | average | (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 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
2024-01-15 16:51:25 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-01-15 16:53:09 +0100 | danse-nr3 | (~danse@151.57.6.254) |
2024-01-15 16:57:13 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2024-01-15 17:00:39 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection) |
2024-01-15 17:01:00 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) |
2024-01-15 17:04:24 +0100 | Guest|77 | (~Guest|77@165.225.243.34) |
2024-01-15 17:06:22 +0100 | Guest|77 | (~Guest|77@165.225.243.34) (Client Quit) |
2024-01-15 17:07:27 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.1.2) |
2024-01-15 17:12:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2024-01-15 17:14:16 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-01-15 17:15:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 17:18:41 +0100 | everard | (~everard@2a10:3781:342:0:e8bd:5652:6309:d6d9) (Ping timeout: 260 seconds) |
2024-01-15 17:36:36 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) (Ping timeout: 268 seconds) |
2024-01-15 17:37:52 +0100 | vglfr | (~vglfr@90.167.189.62) |
2024-01-15 17:48:56 +0100 | danse-nr3 | (~danse@151.57.6.254) (Ping timeout: 268 seconds) |
2024-01-15 17:53:00 +0100 | vglfr | (~vglfr@90.167.189.62) (Read error: Connection reset by peer) |
2024-01-15 17:53:30 +0100 | vglfr | (~vglfr@160.red-88-6-92.staticip.rima-tde.net) |
2024-01-15 17:54:45 +0100 | average | (uid473595@user/average) |
2024-01-15 17:57:58 +0100 | alexherbo2 | (~alexherbo@204.36.22.93.rev.sfr.net) (Remote host closed the connection) |
2024-01-15 18:03:43 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 276 seconds) |
2024-01-15 18:07:43 +0100 | econo_ | (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 +0100 | everard | (~everard@2a10:3781:342:0:f72c:6418:902c:8ff6) |
2024-01-15 18:22:17 +0100 | Tuplanolla | (~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 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2024-01-15 18:28:24 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
2024-01-15 18:28:34 +0100 | igemnace | (~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 +0100 | ft | (~ft@p4fc2a1d8.dip0.t-ipconnect.de) |
2024-01-15 18:33:14 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) |
2024-01-15 18:39:25 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-01-15 18:40:00 +0100 | <tromp> | thanks |
2024-01-15 18:41:59 +0100 | eron | (~eron@168.196.116.143) (Quit: Client closed) |
2024-01-15 18:50:21 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-15 18:50:33 +0100 | alexherbo2 | (~alexherbo@207.39.22.93.rev.sfr.net) |
2024-01-15 18:51:11 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
2024-01-15 18:55:41 +0100 | everard | (~everard@2a10:3781:342:0:f72c:6418:902c:8ff6) (Ping timeout: 256 seconds) |
2024-01-15 18:59:20 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
2024-01-15 18:59:20 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-01-15 19:00:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 19:01:05 +0100 | rvalue | (~rvalue@user/rvalue) |
2024-01-15 19:01:23 +0100 | tt1231 | (~tt123@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) |
2024-01-15 19:06:40 +0100 | mauke | sets stdout to latin-1, outputs (chr n) |
2024-01-15 19:13:12 +0100 | <ncf> | not a Word8! |
2024-01-15 19:14:11 +0100 | target_i | (~target_i@217.175.14.39) |
2024-01-15 19:24:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-15 19:31:58 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
2024-01-15 19:39:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
2024-01-15 19:39:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-01-15 19:40:21 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) |
2024-01-15 19:42:14 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-15 19:43:46 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-01-15 19:44:37 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-01-15 19:46:07 +0100 | ystael | (~ystael@user/ystael) |
2024-01-15 19:48:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-01-15 19:49:12 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) |
2024-01-15 19:52:07 +0100 | biberu\ | (~biberu@user/biberu) |
2024-01-15 19:53:02 +0100 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
2024-01-15 19:53:34 +0100 | biberu\ | biberu |
2024-01-15 20:05:43 +0100 | mqlnv | (~tripod@47.154.25.27) (Ping timeout: 255 seconds) |
2024-01-15 20:07:36 +0100 | mqlnv | (~tripod@47.154.25.27) |
2024-01-15 20:12:23 +0100 | <haskellbridge> | 14<mauke> 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<sm> 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 +0100 | tomith | (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 +0100 | nickiminjaj | (~nickiminj@user/laxhh) |
2024-01-15 20:34:08 +0100 | nickiminjaj | (~nickiminj@user/laxhh) (Client Quit) |
2024-01-15 20:39:27 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2024-01-15 20:39:36 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2024-01-15 20:40:02 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-01-15 20:40:07 +0100 | df | (~ben@justworks.xyz) (Remote host closed the connection) |
2024-01-15 20:40:29 +0100 | johnw | (~johnw@69.62.242.138) |
2024-01-15 20:41:39 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Client Quit) |
2024-01-15 20:41:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-01-15 20:44:40 +0100 | Franciman | (~Franciman@mx1.fracta.dev) |
2024-01-15 20:47:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1844:9881:99c9:747) (Remote host closed the connection) |
2024-01-15 20:47:35 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b517:ef7b:ce23:9de1) |
2024-01-15 20:48:15 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-01-15 20:49:02 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-15 20:49:39 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
2024-01-15 21:08:19 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
2024-01-15 21:08:24 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2024-01-15 21:08:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-01-15 21:08:51 +0100 | trev | (~trev@user/trev) |
2024-01-15 21:12:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
2024-01-15 21:15:02 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-01-15 21:15:26 +0100 | euleritian | (~euleritia@2a02:810a:b00:1568:56b:3594:1896:9e43) |
2024-01-15 21:18:04 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2024-01-15 21:31:34 +0100 | trev | (~trev@user/trev) (Quit: trev) |
2024-01-15 21:35:46 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2024-01-15 21:36:07 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2024-01-15 21:36:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-01-15 21:36:59 +0100 | jargon | (~jargon@211.sub-174-205-225.myvzw.com) |
2024-01-15 21:40:59 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-01-15 21:42:40 +0100 | thegeekinside | (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
2024-01-15 21:44:33 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
2024-01-15 21:48:31 +0100 | euleritian | (~euleritia@2a02:810a:b00:1568:56b:3594:1896:9e43) (Ping timeout: 268 seconds) |
2024-01-15 21:48:40 +0100 | euleritian | (~euleritia@ip5f5ad3e3.dynamic.kabel-deutschland.de) |
2024-01-15 21:50:04 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-15 21:51:12 +0100 | czy | (~user@114.227.205.148) (Read error: Connection reset by peer) |
2024-01-15 21:53:03 +0100 | czy | (~user@114.226.59.181) |
2024-01-15 21:54:00 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-01-15 21:59:17 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 22:01:00 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-01-15 22:08:56 +0100 | sagelywizard | (~sagelywiz@c-76-147-2-166.hsd1.wa.comcast.net) |
2024-01-15 22:09:50 +0100 | ski | (~ski@remote11.chalmers.se) (Ping timeout: 260 seconds) |
2024-01-15 22:10:01 +0100 | puke | (~puke@user/puke) (Ping timeout: 246 seconds) |
2024-01-15 22:10:22 +0100 | euleritian | (~euleritia@ip5f5ad3e3.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
2024-01-15 22:10:24 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
2024-01-15 22:11:31 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) |
2024-01-15 22:11:35 +0100 | ski | (~ski@remote11.chalmers.se) |
2024-01-15 22:12:25 +0100 | sagelywizard | (~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 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
2024-01-15 22:17:42 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-01-15 22:28:20 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2024-01-15 22:30:25 +0100 | euleritian | (~euleritia@dynamic-046-114-202-125.46.114.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-01-15 22:33:51 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
2024-01-15 22:35:13 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
2024-01-15 22:35:39 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
2024-01-15 22:49:32 +0100 | mud | (~mud@user/kadoban) |
2024-01-15 22:58:15 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
2024-01-15 23:00:44 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-01-15 23:00:54 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-01-15 23:00:57 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
2024-01-15 23:01:13 +0100 | mud | (~mud@user/kadoban) |
2024-01-15 23:05:13 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
2024-01-15 23:09:56 +0100 | sudden | (~cat@user/sudden) (Ping timeout: 252 seconds) |
2024-01-15 23:10:50 +0100 | sudden | (~cat@user/sudden) |
2024-01-15 23:17:48 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-01-15 23:19:25 +0100 | Sgeo_ | (~Sgeo@user/sgeo) |
2024-01-15 23:20:42 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) (Quit: Ping timeout (120 seconds)) |
2024-01-15 23:21:02 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) |
2024-01-15 23:21:17 +0100 | simpleauthority | (~simpleaut@user/simpleauthority) (Ping timeout: 260 seconds) |
2024-01-15 23:21:42 +0100 | DigitalKiwi | (~kiwi@137.184.156.191) (Remote host closed the connection) |
2024-01-15 23:21:53 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-01-15 23:22:15 +0100 | DigitalKiwi | (~kiwi@137.184.156.191) |
2024-01-15 23:22:19 +0100 | simpleauthority | (~simpleaut@user/simpleauthority) |
2024-01-15 23:24:05 +0100 | Me-me | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) (Remote host closed the connection) |
2024-01-15 23:27:11 +0100 | nshepperd2 | (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Ping timeout: 260 seconds) |
2024-01-15 23:28:03 +0100 | Wstfgl0 | (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
2024-01-15 23:30:15 +0100 | incertia | (~incertia@209.122.137.252) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 23:30:36 +0100 | incertia | (~incertia@209.122.137.252) |
2024-01-15 23:32:50 +0100 | nonzen | (~nonzen@user/nonzen) (Ping timeout: 256 seconds) |
2024-01-15 23:33:06 +0100 | nonzen | (~nonzen@user/nonzen) |
2024-01-15 23:34:08 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 252 seconds) |
2024-01-15 23:34:54 +0100 | statusbot2 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2024-01-15 23:35:14 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
2024-01-15 23:37:33 +0100 | Fijxu | (~Fijxu@user/fijxu) (Quit: XD!!) |
2024-01-15 23:39:19 +0100 | krasjet | (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds) |
2024-01-15 23:41:26 +0100 | czy | (~user@114.226.59.181) (Read error: Connection reset by peer) |
2024-01-15 23:42:04 +0100 | Joao003 | (~Joao003@190.108.99.13) (Read error: Connection reset by peer) |
2024-01-15 23:42:32 +0100 | Joao003 | (~Joao003@190.108.99.13) |
2024-01-15 23:42:42 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-01-15 23:43:42 +0100 | Fijxu | (~Fijxu@user/fijxu) |
2024-01-15 23:43:45 +0100 | bsima | (~bsima@143.198.118.179) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 23:43:48 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
2024-01-15 23:44:02 +0100 | krasjet | (~krjst@2604:a880:800:c1::16b:8001) |
2024-01-15 23:44:05 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
2024-01-15 23:46:33 +0100 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
2024-01-15 23:47:25 +0100 | statusbot2 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
2024-01-15 23:49:25 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2024-01-15 23:50:16 +0100 | tabemann_ | (~tabemann@2600:1700:7990:24e0:8418:7d48:7fca:df7f) |
2024-01-15 23:50:16 +0100 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
2024-01-15 23:50:18 +0100 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
2024-01-15 23:50:21 +0100 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 256 seconds) |
2024-01-15 23:50:52 +0100 | noteness | (~noteness@user/noteness) (Quit: bye) |
2024-01-15 23:50:55 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (Ping timeout: 256 seconds) |
2024-01-15 23:50:55 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) (Remote host closed the connection) |
2024-01-15 23:51:04 +0100 | incertia | (~incertia@209.122.137.252) (Read error: Connection reset by peer) |
2024-01-15 23:51:05 +0100 | noteness | (~noteness@user/noteness) |
2024-01-15 23:51:07 +0100 | erisco_ | erisco |
2024-01-15 23:51:13 +0100 | dtman34_ | (~dtman34@2601:447:d000:93c9:ad99:f215:9ba0:8a79) |
2024-01-15 23:51:13 +0100 | markasoftware | (~quassel@107.161.26.124) (Read error: Connection reset by peer) |
2024-01-15 23:51:25 +0100 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
2024-01-15 23:51:34 +0100 | mrmr15533 | (~mrmr@user/mrmr) (Read error: Connection reset by peer) |
2024-01-15 23:52:01 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) (Ping timeout: 264 seconds) |
2024-01-15 23:52:03 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 256 seconds) |
2024-01-15 23:52:28 +0100 | ACuriousMoose | (~ACuriousM@142.166.18.53) |
2024-01-15 23:52:32 +0100 | incertia | (~incertia@209.122.137.252) |
2024-01-15 23:52:37 +0100 | mrmr15533 | (~mrmr@user/mrmr) |
2024-01-15 23:52:37 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
2024-01-15 23:52:38 +0100 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 264 seconds) |
2024-01-15 23:52:38 +0100 | energizer | (~energizer@user/energizer) (Ping timeout: 264 seconds) |
2024-01-15 23:52:38 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 264 seconds) |
2024-01-15 23:52:38 +0100 | justache | (~justache@user/justache) (Ping timeout: 264 seconds) |
2024-01-15 23:52:59 +0100 | markasoftware | (~quassel@107.161.26.124) |
2024-01-15 23:53:18 +0100 | Hooloovoo | (~Hooloovoo@hax0rbana.org) |
2024-01-15 23:53:26 +0100 | justache | (~justache@user/justache) |
2024-01-15 23:53:42 +0100 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
2024-01-15 23:53:57 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 23:53:58 +0100 | sajith | (~sajith@user/sajith) |
2024-01-15 23:54:04 +0100 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
2024-01-15 23:54:17 +0100 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
2024-01-15 23:54:18 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Remote host closed the connection) |
2024-01-15 23:54:25 +0100 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
2024-01-15 23:54:34 +0100 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-01-15 23:55:35 +0100 | energizer | (~energizer@user/energizer) |
2024-01-15 23:55:46 +0100 | krasjet | (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds) |
2024-01-15 23:57:22 +0100 | chomwitt | (~chomwitt@2a02:587:7a12:5900:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
2024-01-15 23:57:23 +0100 | krasjet | (~krjst@2604:a880:800:c1::16b:8001) |
2024-01-15 23:57:25 +0100 | AndreiDuma | (~textual@95.76.23.32) |
2024-01-15 23:58:14 +0100 | AndreiDuma | (~textual@95.76.23.32) () |
2024-01-15 23:58:26 +0100 | glguy_ | (g@libera/staff/glguy) |
2024-01-15 23:58:33 +0100 | glguy | (glguy@libera/staff/glguy) (Killed (neon.libera.chat (Nickname regained by services))) |
2024-01-15 23:58:33 +0100 | glguy_ | glguy |