Home liberachat/#haskell: Logs Calendar

Logs on 2024-05-30 (liberachat/#haskell)

00:09:56 → causal joins (~eric@50.35.88.207)
00:19:58 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
00:21:25 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
00:23:40 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:33:00 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
00:33:34 → fizbin_ joins (~fizbin@user/fizbin)
00:35:19 × califax quits (~califax@user/califx) (Remote host closed the connection)
00:37:44 → califax joins (~califax@user/califx)
00:38:25 → gentauro joins (~gentauro@user/gentauro)
00:43:33 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
00:44:06 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
00:46:05 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
00:49:42 <Leary> Franciman: The way to run untyped lambda calculus in Haskell with no overhead is to write it in `newtype LC = Lam{ ($$) :: LC -> LC }`. The issue with this representation is that there's no safe way to feed typed Haskell values in and get them back out at the end, but if you take on the responsibility of the type checker, you can just use unsafeCoerce. E.g. `fix :: (a -> a) -> a; fix = unsafeCoerce $ Lam \f -> let y = Lam \x -> f $$ (x $$ x) in y $$ y`
00:53:09 <Leary> (though technically, due to a wontfix GHC bug, you need to {-# NOINLINE y #-} to prevent the simplifier from "simplifying" the Y combinator)
01:09:17 × pounce quits (~pounce@user/cute/pounce) (Ping timeout: 256 seconds)
01:10:37 × Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 246 seconds)
01:10:58 → Hafydd joins (~Hafydd@user/hafydd)
01:11:41 → pounce joins (~pounce@user/cute/pounce)
01:33:31 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
01:39:43 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:52:47 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
01:54:11 × xff0x quits (~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) (Ping timeout: 256 seconds)
01:59:28 → xff0x joins (~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32)
02:02:02 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
02:03:07 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
02:05:41 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
02:05:51 × xff0x quits (~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) (Ping timeout: 260 seconds)
02:12:08 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
02:15:31 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
02:22:17 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
02:24:05 × dyniec quits (~dyniec@dybiec.info) (Quit: WeeChat 4.1.1)
02:25:42 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
02:25:59 × fizbin_ quits (~fizbin@user/fizbin) (Ping timeout: 268 seconds)
02:29:48 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
02:37:22 × philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal)
02:40:04 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir)
02:40:58 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
02:41:49 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
02:43:04 → philopsos1 joins (~caecilius@user/philopsos)
02:43:49 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
02:44:06 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
02:48:48 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
02:49:14 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:53:46 → ddellacosta joins (~ddellacos@ool-44c73d29.dyn.optonline.net)
02:54:36 × td_ quits (~td@i5387092A.versanet.de) (Ping timeout: 255 seconds)
02:56:13 → td_ joins (~td@i5387090B.versanet.de)
03:08:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
03:21:56 → aforemny joins (~aforemny@i59F516CD.versanet.de)
03:23:23 × aforemny_ quits (~aforemny@i59F516FB.versanet.de) (Ping timeout: 264 seconds)
03:26:21 × xdminsy quits (~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
03:52:29 <mjrosenb> Leary: what does it simplify it to?
03:54:42 <Leary> mjrosenb: `Y f` "simplifies" to `f (Y f)`, which "simplifies" to `f (f (Y f))`, ad infinitum.
03:56:36 <mjrosenb> gotcha. I was going to say, you can simplify it any amount and it'll still be valid.
04:02:50 <probie> mjrosenb: the problem is that GHC doesn't _stop_ simplifying it
04:12:40 × Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds)
04:13:35 → Square joins (~Square@user/square)
04:14:50 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds)
04:20:06 × hueso quits (~root@user/hueso) (Ping timeout: 255 seconds)
04:28:45 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
04:31:55 → slack1256 joins (~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8)
04:32:35 → hueso joins (~root@user/hueso)
04:55:56 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
04:56:24 × segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
04:58:11 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
04:58:57 → euleritian joins (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de)
04:59:14 → xdminsy joins (~xdminsy@117.147.70.212)
04:59:20 × euleritian quits (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
04:59:38 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
05:10:13 × slack1256 quits (~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8) (Remote host closed the connection)
05:12:12 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:21:30 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:25:41 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
05:29:38 × Square quits (~Square@user/square) (Ping timeout: 252 seconds)
05:29:46 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:30:02 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:34:32 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
05:35:07 → euleritian joins (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de)
05:37:56 → rvalue joins (~rvalue@user/rvalue)
05:50:29 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
05:54:12 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:58:27 → acidjnk joins (~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de)
06:08:25 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
06:09:18 → chiselfuse joins (~chiselfus@user/chiselfuse)
06:11:05 → zetef joins (~quassel@95.77.17.251)
06:12:35 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
06:14:43 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
06:18:13 × ph88 quits (~ph88@2a02:8109:9e26:c800:728b:dc6e:a428:192b) (Remote host closed the connection)
06:20:37 × ak-1 quits (~ak-1@149.50.189.92) (Quit: ak-1)
06:20:52 → ak-1 joins (~ak-1@149.50.189.92)
06:43:03 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
06:48:52 × kilolympus quits (~kilolympu@31.205.200.246) (Remote host closed the connection)
06:52:23 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 268 seconds)
06:52:25 → kilolympus joins (~kilolympu@31.205.200.246)
06:52:46 → killy joins (~killy@staticline-31-183-186-9.toya.net.pl)
07:12:21 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
07:13:10 × xdminsy quits (~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
07:13:17 → chiselfuse joins (~chiselfus@user/chiselfuse)
07:21:23 → kuribas joins (~user@ptr-3zut8u1nt3xxt1xf.0000808120a2.ip6.access.telenet.be)
07:22:32 → zetef joins (~quassel@95.77.17.251)
07:24:56 → david_tvh joins (~david_tvh@212-114-26-122.box.freepro.com)
07:25:16 × chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer)
07:26:22 → chiselfuse joins (~chiselfus@user/chiselfuse)
07:27:15 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 256 seconds)
07:35:27 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
07:37:08 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
07:39:52 × tessier quits (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds)
07:42:35 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds)
07:43:39 × euleritian quits (~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
07:45:23 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
07:46:58 → gmg joins (~user@user/gehmehgeh)
07:48:28 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
07:55:45 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
07:56:19 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
07:58:11 × kuribas quits (~user@ptr-3zut8u1nt3xxt1xf.0000808120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds)
08:07:58 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
08:08:10 → oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
08:09:19 → kuribas joins (~user@ptr-3zusay2eqdicedr8.0000808120a2.ip6.access.telenet.be)
08:17:48 AlexNoo_ is now known as AlexNoo
08:20:58 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
08:21:04 → zetef joins (~quassel@95.77.17.251)
08:22:38 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
08:23:00 → kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be)
08:24:29 × kuribas quits (~user@ptr-3zusay2eqdicedr8.0000808120a2.ip6.access.telenet.be) (Ping timeout: 240 seconds)
08:24:40 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:25:20 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
08:26:11 × killy quits (~killy@staticline-31-183-186-9.toya.net.pl) (Ping timeout: 252 seconds)
08:29:18 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Excess Flood)
08:30:46 × bairyn quits (~bairyn@50.250.232.19) (Ping timeout: 256 seconds)
08:32:37 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
08:33:42 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
08:33:57 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
08:41:31 → titibandit joins (~user@user/titibandit)
08:46:16 → tessier joins (~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
08:51:27 → xdminsy joins (~xdminsy@117.147.70.212)
08:52:29 × david_tvh quits (~david_tvh@212-114-26-122.box.freepro.com) (Quit: Connection closed)
09:00:37 → danse-nr3 joins (~danse-nr3@151.47.143.144)
09:02:09 → bairyn joins (~bairyn@50.250.232.19)
09:02:29 → lxsameer joins (~lxsameer@Serene/lxsameer)
09:08:41 × danse-nr3 quits (~danse-nr3@151.47.143.144) (Ping timeout: 256 seconds)
09:10:00 → cfricke joins (~cfricke@user/cfricke)
09:15:40 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:24:46 → david_tvh joins (~david_tvh@212-114-26-122.box.freepro.com)
09:25:00 → sawilagar joins (~sawilagar@user/sawilagar)
09:27:36 × bollu quits (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds))
09:27:59 → bollu joins (~bollu@159.65.151.13)
09:28:26 × natto quits (~natto@129.154.243.159) (Read error: Connection reset by peer)
09:28:39 → natto17 joins (~natto@129.154.243.159)
09:29:48 → chele joins (~chele@user/chele)
09:32:43 × zetef quits (~quassel@95.77.17.251) (Ping timeout: 268 seconds)
09:32:58 × Feuermagier quits (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
09:43:47 × poscat quits (~poscat@user/poscat) (Ping timeout: 264 seconds)
09:43:56 → danse-nr3 joins (~danse-nr3@151.47.143.144)
09:44:12 → poscat joins (~poscat@user/poscat)
09:46:29 → __monty__ joins (~toonn@user/toonn)
09:48:51 → zetef joins (~quassel@95.77.17.251)
09:51:36 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
09:54:49 → ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:591b:7783:d368:bb2c)
09:56:23 → mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com)
10:02:04 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
10:06:38 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
10:12:12 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds)
10:13:20 × mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
10:13:54 × cawfee quits (~root@2406:3003:2077:1c50::babe) (Ping timeout: 256 seconds)
10:16:08 × rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (Quit: Later)
10:16:30 × david_tvh quits (~david_tvh@212-114-26-122.box.freepro.com) (Ping timeout: 268 seconds)
10:18:19 → rncwnd joins (~quassel@2a01:4f8:221:27c6::1)
10:21:24 → cawfee joins (~root@2406:3003:2077:1c50::babe)
10:23:48 → alphabeta joins (~kilolympu@31.205.200.235)
10:24:26 × kilolympus quits (~kilolympu@31.205.200.246) (Ping timeout: 252 seconds)
10:24:34 → killy joins (~killy@staticline-31-183-186-9.toya.net.pl)
10:25:24 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
10:25:38 → cfricke joins (~cfricke@user/cfricke)
10:34:11 × zetef quits (~quassel@95.77.17.251) (Remote host closed the connection)
10:38:42 → Feuermagier joins (~Feuermagi@user/feuermagier)
10:39:29 → mei joins (~mei@user/mei)
10:41:47 × remmie quits (ianremsen@tilde.team) (Ping timeout: 268 seconds)
10:42:40 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 260 seconds)
10:42:44 × qhong quits (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in)
10:45:11 → dyniec joins (~dyniec@dybiec.info)
10:45:48 → qhong joins (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)
10:53:47 → lortabac joins (~lortabac@88-125-6-227.subs.proxad.net)
10:55:39 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
10:58:04 <danse-nr3> after some years, haskell is teaching me to actually read the stuff that gets dumped at the prompt, amazing. ^^;
10:58:27 × qhong quits (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in)
10:59:36 → qhong joins (~qhong@rescomp-21-400677.stanford.edu)
11:01:49 <tomsmeding> turns out that what the computer is telling you is sometimes actually useful info :)
11:02:10 → nain joins (~nain@37.19.205.146)
11:02:25 nain is now known as nain_
11:03:51 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 256 seconds)
11:04:27 → Maxdamantus joins (~Maxdamant@user/maxdamantus)
11:04:36 <danse-nr3> and also, reading is still useful sometimes, who would think?
11:04:36 nain_ is now known as nain
11:05:00 <tomsmeding> indeed
11:05:25 <tomsmeding> it's easy to conclude that these things are not useful, with what lots of software (also companies) are trying to tell you
11:06:22 <danse-nr3> actually i still have to consume an impedence coming from other technologies which makes long haskell posts (even just on haskell wiki!) unintelligible
11:06:50 <tomsmeding> sometimes that's just people not being great writers, though
11:07:00 <tomsmeding> (which says nothing about their haskell skill -- those skills are separate things)
11:07:48 → CiaoSen joins (~Jura@2a05:5800:2da:8d00:e6b9:7aff:fe80:3d03)
11:07:52 <danse-nr3> nah, there is just no place in a given concept of the industry to sit down one hour on a post and read it. We should not feel compelled to bow to that attitude
11:08:43 <danse-nr3> "make it a tweet"
11:09:07 <danse-nr3> too long, did not read. Wait this is too long! TLDR
11:09:43 → xff0x joins (~xff0x@2405:6580:b080:900:94b5:b4e0:87f7:aaa5)
11:10:11 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds)
11:11:11 <lortabac> TBH we also have too many things to learn. It would be unrealistic to read everything in detail
11:11:56 <lortabac> deciding where to focus on is a skill
11:12:12 <danse-nr3> i think haskell's design is successful in providing a safe, expressive core one can work on for years. But of course we want to be machos and start our first app with monad transformers
11:13:47 × danse-nr3 quits (~danse-nr3@151.47.143.144) (Remote host closed the connection)
11:14:12 → danse-nr3 joins (~danse-nr3@151.47.143.144)
11:14:36 × nain quits (~nain@37.19.205.146) (Quit: Konversation terminated!)
11:20:01 × destituion quits (~destituio@2a02:2121:2c1:d808:e5d8:f8e7:d625:4745) (Ping timeout: 268 seconds)
11:20:31 → destituion joins (~destituio@85.221.111.174)
11:23:52 <dminuoso> tomsmeding: I think the problem with not looking too closely at what the computer tells you is usually confirmation bias.
11:24:12 <tomsmeding> that it's usually what you expected, so you look less?
11:24:14 <dminuoso> We developers like to think we're better than our tools, and we already have an established theory before having any diagnostics input.
11:24:33 <dminuoso> Yeah, indeed.
11:24:34 <tomsmeding> that sounds more like dunning-kruger than confirmation bias
11:24:51 <dminuoso> No, its really just confirmation bias.
11:25:09 <dminuoso> The first part was rather a bit of an interpretation
11:29:30 → remmie joins (ianremsen@tilde.team)
11:29:48 <ncf> i don't think it's either of those things
11:32:15 × danse-nr3 quits (~danse-nr3@151.47.143.144) (Remote host closed the connection)
11:39:04 × Feuermagier quits (~Feuermagi@user/feuermagier) (Quit: Leaving)
11:48:23 × flounders quits (~flounders@24.246.176.178) (Ping timeout: 268 seconds)
11:49:29 → flounders joins (~flounders@24.246.176.178)
11:52:06 → danse-nr3 joins (~danse-nr3@151.47.143.144)
11:52:55 × danse-nr3 quits (~danse-nr3@151.47.143.144) (Remote host closed the connection)
11:53:34 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
12:06:53 <__monty__> And TBF bad diagnostic messages are definitely a common thing. My favorite recent one is running a dynamically linked binary on Linux. If it can't find the runtime linker, something like /lib64/ld-linux-x86-64.so.2, you get the error, "sh: /path/to/your/binary/that/exists: No such file or directory"
12:07:07 × xdminsy quits (~xdminsy@117.147.70.212) (Read error: Connection reset by peer)
12:08:13 → xdminsy joins (~xdminsy@117.147.70.212)
12:11:12 × ddellacosta quits (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 268 seconds)
12:20:30 × sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection)
12:20:45 → arthurvl joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
12:21:01 arthurvl is now known as earthy
12:22:01 → sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net)
12:33:15 × son0p quits (~ff@191.104.16.31) (Ping timeout: 256 seconds)
12:36:05 × CiaoSen quits (~Jura@2a05:5800:2da:8d00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
12:36:53 × remmie quits (ianremsen@tilde.team) (Ping timeout: 240 seconds)
12:43:02 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
12:57:34 → CiaoSen joins (~Jura@2a05:5800:2da:8d00:e6b9:7aff:fe80:3d03)
13:01:55 → ars23 joins (~ars23@79.114.53.79)
13:02:06 × ars23 quits (~ars23@79.114.53.79) (Changing host)
13:02:06 → ars23 joins (~ars23@user/ars23)
13:04:14 × sprout quits (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 268 seconds)
13:08:49 → danse-nr3 joins (~danse-nr3@151.35.245.180)
13:10:11 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:10:56 → sprout joins (~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net)
13:11:57 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:591b:7783:d368:bb2c) (Remote host closed the connection)
13:12:07 <dminuoso> __monty__: I've had that problem before plenty of times, and I've finally come to the conclusion, that the diagnostic is not bad.
13:12:09 → ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:42e5:ed60:6117:beec)
13:13:22 <dminuoso> Or rather, its a symptom of old designs colliding with modern user expectations.
13:13:35 <dminuoso> https://man7.org/linux/man-pages/man2/execve.2.html
13:13:47 <dminuoso> `ENOENT The file pathname or a script or ELF interpreter does not exist.`
13:14:03 <dminuoso> Though arguably, the shell could at least say "No such file, or missing ELF interpreter"
13:14:26 <dminuoso> However, if in 99.999% of cases its just that the specified path is missing, would it do more damage if the ELF interpreter is missing?
13:14:58 <dminuoso> Or maybe execve should have received an additional error code, but that kind of infrastructure you cannot sensibly change.
13:16:59 → ocra8 joins (ocra8@user/ocra8)
13:19:32 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:20:26 × lortabac quits (~lortabac@88-125-6-227.subs.proxad.net) (Quit: WeeChat 4.2.1)
13:23:23 <__monty__> The problem is the rendering of the error message really, "<path>: No such file," is rather misleading. The shell could at least check whether <path> is an ELF and then add the "or missing ELF interpreter."
13:25:20 → mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com)
13:36:10 → remmie joins (ianremsen@tilde.team)
13:37:38 <danse-nr3> is there a term for a type in a sum type? How does "factor" sound to you?
13:38:00 danse-nr3 goes looking up for first-grade information material... OO
13:38:13 <ncf> products have factors, sums have terms or summands
13:38:41 <danse-nr3> right ... and the common term would be ...? Operands?
13:38:58 <danse-nr3> not that it suits in this context but...
13:39:03 × killy quits (~killy@staticline-31-183-186-9.toya.net.pl) (Quit: Lost terminal)
13:40:03 <danse-nr3> "terms" is also overloaded, i will go with summands
13:40:37 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 268 seconds)
13:41:16 → cfricke joins (~cfricke@user/cfricke)
13:44:23 × mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 264 seconds)
13:52:05 → segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
13:53:06 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
13:54:45 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
13:55:20 × CiaoSen quits (~Jura@2a05:5800:2da:8d00:e6b9:7aff:fe80:3d03) (Quit: CiaoSen)
13:56:01 → euleritian joins (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de)
13:57:07 × ars23 quits (~ars23@user/ars23) (Ping timeout: 256 seconds)
13:57:51 → ars23 joins (~ars23@79.114.53.79)
13:58:15 ars23 is now known as Guest2112
14:00:51 → ars23 joins (~ars23@2a02:2f09:3614:4900:d407:6f69:717f:f669)
14:01:15 ars23 is now known as Guest5837
14:04:26 × Guest2112 quits (~ars23@79.114.53.79) (Ping timeout: 252 seconds)
14:05:09 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
14:15:59 × euleritian quits (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
14:19:48 → euleritian joins (~euleritia@77.22.252.56)
14:26:48 × segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Read error: Connection reset by peer)
14:26:49 <lxsameer> Hey folks, I see people using `newtype App m a = App {unApp :: ReaderT Env m a}` to pass an static Env around. Why not `type App m a = ReaderT Env m a`?
14:28:31 <c_wraith> the two main reasons are error messages can be more specific and you can control the api more precisely.
14:31:16 <lxsameer> c_wraith: could you please elaborate?
14:33:41 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
14:34:54 <c_wraith> Some people will also argue that implementation hiding allows for implementation changes more easily, but I don't really buy that in many cases. If you're changing the implementation in a way that's visible in the type, you're probably also changing enough of the API that things will need to adapt anyway.
14:36:21 × Guest5837 quits (~ars23@2a02:2f09:3614:4900:d407:6f69:717f:f669) (Remote host closed the connection)
14:37:30 <c_wraith> So... type aliases get expanded. GHC doesn't do a pass to try to match types with existing aliases when reporting type errors. Sometimes it will already have the info on hand and use the alias, sometimes it won't use the alias.
14:37:56 <c_wraith> A newtype, on the other hand, is always a distinct type. It will always show up in type errors.
14:38:27 <lxsameer> ah got it
14:38:30 <lxsameer> thank you
14:38:40 <c_wraith> So you're allowed to compartmentalize your reasoning more. You can ignore what it expands to in a lot more cases.
14:39:28 <c_wraith> My other point was that ReaderT has a *huge* API, and sometimes you just don't want to expose all of it. You want something more narrowly-tailored to your use case.
14:39:50 <c_wraith> If you use a type alias, you don't have any choice - you get the whole ReaderT api.
14:40:25 <c_wraith> With a newtype, you get much better control over what you make available, so you can narrowly tailor it to your application's needs.
14:41:46 <c_wraith> This aspect also helps with documentation. You don't need to go searching around for every class with a ReaderT instance. You can put the entire API into a single module, if you like.
14:45:57 × euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer)
14:47:56 → euleritian joins (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de)
14:51:11 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
14:51:42 → rvalue joins (~rvalue@user/rvalue)
14:54:11 → son0p joins (~ff@186.121.56.64)
14:54:24 × danse-nr3 quits (~danse-nr3@151.35.245.180) (Ping timeout: 256 seconds)
14:58:35 → segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
15:06:49 × sprout quits (~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net) (Ping timeout: 256 seconds)
15:07:35 × segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection)
15:08:34 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Quit: Quit.)
15:09:27 → Arsen joins (arsen@aarsen.me)
15:09:50 → sprout joins (~quassel@84-80-106-227.fixed.kpn.net)
15:09:51 Arsen is now known as Guest8883
15:09:54 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
15:10:03 × Guest8883 quits (arsen@aarsen.me) (Client Quit)
15:10:16 × destituion quits (~destituio@85.221.111.174) (Ping timeout: 256 seconds)
15:10:21 → segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
15:10:58 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
15:13:41 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
15:16:57 → destituion joins (~destituio@2a02:2121:2c1:d808:3194:9b7f:f69a:e531)
15:24:48 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
15:27:07 → joeyadams joins (~joeyadams@38.48.105.67)
15:28:02 → billchenchina joins (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe)
15:33:45 → k_hachig joins (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca)
15:35:03 × sprout quits (~quassel@84-80-106-227.fixed.kpn.net) (Ping timeout: 260 seconds)
15:37:05 → sprout joins (~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net)
15:51:06 → philopsos1 joins (~caecilius@user/philopsos)
15:52:09 × destituion quits (~destituio@2a02:2121:2c1:d808:3194:9b7f:f69a:e531) (Ping timeout: 256 seconds)
15:52:30 → destituion joins (~destituio@2a02:2121:28c:be84:6a11:2af6:b842:fa5c)
15:54:15 × haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
15:57:06 × philopsos1 quits (~caecilius@user/philopsos) (Quit: leaving)
15:57:32 → philopsos1 joins (~caecilius@user/philopsos)
15:58:08 × aforemny quits (~aforemny@i59F516CD.versanet.de) (Ping timeout: 268 seconds)
15:59:10 → aforemny joins (~aforemny@2001:9e8:6ce0:6500:b6c2:df57:8eea:8e8)
15:59:26 → haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com)
15:59:26 ChanServ sets mode +v haskellbridge
16:05:14 × EvanR quits (~EvanR@user/evanr) (Ping timeout: 256 seconds)
16:05:47 × kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
16:10:49 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
16:10:49 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
16:10:49 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
16:10:49 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
16:10:49 × califax quits (~califax@user/califx) (Remote host closed the connection)
16:11:21 → califax joins (~califax@user/califx)
16:11:22 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:11:43 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:11:48 → gmg joins (~user@user/gehmehgeh)
16:12:01 × fun-safe-math quits (~fun-safe-@24.21.106.247) (Ping timeout: 255 seconds)
16:12:19 → chiselfuse joins (~chiselfus@user/chiselfuse)
16:12:23 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds)
16:12:54 → fun-safe-math joins (~fun-safe-@24.21.106.247)
16:13:50 → danse-nr3 joins (~danse-nr3@151.35.245.180)
16:14:04 → EvanR joins (~EvanR@user/evanr)
16:14:29 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:14:31 × danse-nr3 quits (~danse-nr3@151.35.245.180) (Remote host closed the connection)
16:14:56 → danse-nr3 joins (~danse-nr3@151.35.245.180)
16:17:16 × euleritian quits (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
16:17:31 → euleritian joins (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de)
16:19:29 × sprout quits (~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net) (Ping timeout: 256 seconds)
16:20:26 × euleritian quits (~euleritia@dynamic-176-003-083-232.176.3.pool.telefonica.de) (Read error: Connection reset by peer)
16:20:44 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:20:50 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
16:21:08 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
16:21:33 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:22:32 → Arsen joins (arsen@aarsen.me)
16:22:54 ← L29Ah parts (~L29Ah@wikipedia/L29Ah) ()
16:22:56 Arsen is now known as Guest7470
16:23:13 × chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection)
16:23:56 → chiselfuse joins (~chiselfus@user/chiselfuse)
16:29:57 × Guest7470 quits (arsen@aarsen.me) (Changing host)
16:29:57 → Guest7470 joins (arsen@gentoo/developer/managarm.dev.Arsen)
16:30:02 Guest7470 is now known as Arsen
16:35:59 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
16:39:40 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
16:40:41 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
16:41:47 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
16:42:45 → img joins (~img@user/img)
16:44:38 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection)
16:45:05 × img quits (~img@user/img) (Client Quit)
16:45:27 → philopsos1 joins (~caecilius@user/philopsos)
16:46:28 → img joins (~img@user/img)
16:47:07 → reki joins (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru)
16:51:30 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:54:35 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
16:54:38 × philopsos1 quits (~caecilius@user/philopsos) (Quit: Lost terminal)
16:57:32 → philopsos1 joins (~caecilius@user/philopsos)
17:00:52 × danse-nr3 quits (~danse-nr3@151.35.245.180) (Read error: Connection reset by peer)
17:01:00 × vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr)
17:01:10 × remmie quits (ianremsen@tilde.team) (Read error: Connection reset by peer)
17:01:56 → danse-nr3 joins (~danse-nr3@151.35.239.135)
17:07:40 → cheater_ joins (~Username@user/cheater)
17:09:07 × cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2)
17:09:17 → cheater__ joins (~Username@user/cheater)
17:10:12 → cheater___ joins (~Username@user/cheater)
17:10:14 → Square joins (~Square@user/square)
17:10:54 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
17:10:58 cheater___ is now known as cheater
17:11:09 × cheater quits (~Username@user/cheater) (Read error: Connection reset by peer)
17:11:53 → cheater joins (~Username@user/cheater)
17:12:43 → EvanR joins (~EvanR@user/evanr)
17:12:45 × cheater_ quits (~Username@user/cheater) (Ping timeout: 268 seconds)
17:13:53 × cheater__ quits (~Username@user/cheater) (Ping timeout: 256 seconds)
17:14:17 × k_hachig quits (~k_hachig@bras-base-mtrlpq42zf4-grc-08-65-94-221-127.dsl.bell.ca) (Quit: WeeChat 4.2.2)
17:15:11 × cheater quits (~Username@user/cheater) (Client Quit)
17:16:34 → remmie joins (ianremsen@tilde.team)
17:19:43 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
17:20:17 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
17:23:30 × alphabeta quits (~kilolympu@31.205.200.235) (Quit: See you later! :))
17:28:02 × causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
17:32:28 → L29Ah joins (~L29Ah@wikipedia/L29Ah)
17:35:21 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:42e5:ed60:6117:beec) (Remote host closed the connection)
17:36:10 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 255 seconds)
17:36:18 × EvanR quits (~EvanR@user/evanr) (Quit: Leaving)
17:37:26 → EvanR joins (~EvanR@user/evanr)
17:47:44 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 252 seconds)
17:55:44 → Sgeo joins (~Sgeo@user/sgeo)
18:08:59 × reki quits (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Ping timeout: 264 seconds)
18:10:50 × danse-nr3 quits (~danse-nr3@151.35.239.135) (Ping timeout: 252 seconds)
18:22:12 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
18:25:33 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:29:41 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
18:33:50 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
18:35:04 → vulpine joins (xfnw@user/meow/xfnw)
18:35:09 → euphores joins (~SASL_euph@user/euphores)
18:45:10 × segfaultfizzbuzz quits (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Remote host closed the connection)
18:45:17 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
18:46:59 × billchenchina quits (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
18:53:04 → philopsos1 joins (~caecilius@user/philopsos)
18:59:16 → emmanuelux joins (~emmanuelu@user/emmanuelux)
19:02:35 → segfaultfizzbuzz joins (~segfaultf@23-93-189-95.fiber.dynamic.sonic.net)
19:09:09 → danza joins (~francesco@151.35.239.156)
19:14:38 × danza quits (~francesco@151.35.239.156) (Ping timeout: 252 seconds)
19:21:15 → mreh joins (~matthew@host86-160-168-107.range86-160.btcentralplus.com)
19:22:34 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
19:43:25 → target_i joins (~target_i@user/target-i/x-6023099)
19:46:11 × mreh quits (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 264 seconds)
19:48:25 → sprout joins (~quassel@2a02-a448-3a80-0-d87b-5f06-a0ad-e4e3.fixed6.kpn.net)
19:49:25 × qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Remote host closed the connection)
19:50:54 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:53:25 × nonzen quits (~nonzen@user/nonzen) (Ping timeout: 255 seconds)
19:53:40 → mikess joins (~mikess@user/mikess)
19:55:12 × sajith quits (~sajith@user/sajith) (Ping timeout: 255 seconds)
19:55:19 → sajith_ joins (~sajith@user/sajith)
19:55:43 → nonzen joins (~nonzen@user/nonzen)
19:59:53 × nonzen quits (~nonzen@user/nonzen) (Client Quit)
20:00:32 × sajith_ quits (~sajith@user/sajith) (Quit: Gone)
20:06:58 → nonzen joins (~nonzen@user/nonzen)
20:07:16 → sajith joins (~sajith@user/sajith)
20:23:40 → michalz joins (~michalz@185.246.207.205)
20:24:39 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
20:40:55 × tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
20:47:16 → tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
20:52:47 → sp1ff joins (~user@c-24-21-45-157.hsd1.wa.comcast.net)
21:00:21 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
21:07:06 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
21:07:24 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
21:07:31 × mikess quits (~mikess@user/mikess) (Quit: zzz)
21:08:56 → mikess joins (~mikess@user/mikess)
21:09:33 × joeyadams quits (~joeyadams@38.48.105.67) (Quit: Leaving)
21:11:19 → julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
21:11:27 × son0p quits (~ff@186.121.56.64) (Quit: Leaving)
21:12:53 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:20:36 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
21:20:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:21:01 → euleritian joins (~euleritia@dynamic-176-002-073-111.176.2.pool.telefonica.de)
21:23:36 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
21:25:41 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:28:19 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:28:26 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
21:35:06 → son0p joins (~ff@186.121.56.64)
21:36:31 → julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
21:39:05 × titibandit quits (~user@user/titibandit) (Ping timeout: 256 seconds)
21:39:44 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 260 seconds)
21:40:58 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
21:43:44 × michalz quits (~michalz@185.246.207.205) (Quit: ZNC 1.9.0 - https://znc.in)
21:47:34 × mei quits (~mei@user/mei) (Remote host closed the connection)
21:47:50 → reki joins (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru)
21:49:47 × euleritian quits (~euleritia@dynamic-176-002-073-111.176.2.pool.telefonica.de) (Ping timeout: 264 seconds)
21:49:59 → mei joins (~mei@user/mei)
21:50:32 → euleritian joins (~euleritia@dynamic-176-004-142-137.176.4.pool.telefonica.de)
21:57:15 → pavonia joins (~user@user/siracusa)
22:02:41 → Sgeo_ joins (~Sgeo@user/sgeo)
22:03:45 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:06:14 × Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds)
22:10:28 × reki quits (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection)
22:11:02 → reki joins (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru)
22:23:40 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:32:28 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
22:33:08 × reki quits (~halloy704@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection)
22:34:55 × connrs quits (~connrs@user/connrs) (Read error: Connection reset by peer)
22:38:53 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2)
22:39:14 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
22:43:50 → connrs joins (~connrs@user/connrs)
22:47:09 × acidjnk quits (~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
22:50:25 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
22:55:17 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
22:58:56 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
23:06:11 × Rodney_ quits (~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
23:06:52 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
23:10:14 → Rodney_ joins (~Rodney@176.254.244.83)
23:11:13 × euleritian quits (~euleritia@dynamic-176-004-142-137.176.4.pool.telefonica.de) (Ping timeout: 272 seconds)
23:11:42 → euleritian joins (~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de)
23:15:52 × petrichor quits (~znc-user@user/petrichor) (Ping timeout: 260 seconds)
23:16:25 × euleritian quits (~euleritia@dynamic-176-006-178-100.176.6.pool.telefonica.de) (Ping timeout: 256 seconds)
23:16:37 → euleritian joins (~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de)
23:19:08 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
23:20:51 × mei quits (~mei@user/mei) (Remote host closed the connection)
23:21:46 → raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
23:23:15 → mei joins (~mei@user/mei)
23:31:23 × euleritian quits (~euleritia@dynamic-176-006-181-141.176.6.pool.telefonica.de) (Ping timeout: 268 seconds)
23:31:35 → euleritian joins (~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de)
23:32:02 × Rodney_ quits (~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
23:34:56 × Pixi quits (~Pixi@user/pixi) (Quit: Leaving)
23:37:04 × raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds)
23:40:29 → Pixi joins (~Pixi@user/pixi)
23:40:36 × euleritian quits (~euleritia@dynamic-176-006-177-106.176.6.pool.telefonica.de) (Ping timeout: 260 seconds)
23:41:27 → euleritian joins (~euleritia@dynamic-176-003-007-110.176.3.pool.telefonica.de)
23:48:35 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)

All times are in UTC on 2024-05-30.