Home liberachat/#haskell: Logs Calendar

Logs on 2023-11-26 (liberachat/#haskell)

00:00:05 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
00:01:31 × adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
00:02:06 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
00:09:23 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
00:09:43 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
00:11:56 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
00:14:09 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
00:14:24 → chexum joins (~quassel@gateway/tor-sasl/chexum)
00:18:01 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
00:29:37 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
00:31:39 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
00:35:59 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
00:37:16 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
00:44:58 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
00:48:29 × mjs2600 quits (~mjs2600@c-174-169-225-239.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
00:48:47 × acidjnk quits (~acidjnk@p200300d6e72b9365810768b040d6fb4f.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
00:53:01 × tjakway quits (~tjakway@2603-8000-ce00-02e4-089f-dc27-6e89-d8f1.res6.spectrum.com) (Quit: WeeChat 3.5)
00:56:28 → John_Ivan joins (~John_Ivan@user/john-ivan/x-1515935)
00:57:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
00:57:34 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d) (Remote host closed the connection)
00:57:49 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d)
01:01:57 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
01:03:22 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
01:08:45 × CiaoSen quits (~Jura@2a05:5800:2c3:a900:2a3a:4dff:fe84:dbd5) (Ping timeout: 256 seconds)
01:17:25 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
01:20:58 → emmanuelux_ joins (~emmanuelu@user/emmanuelux)
01:21:53 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
01:22:35 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds)
01:26:53 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
01:29:02 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d) (Remote host closed the connection)
01:35:34 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds)
01:38:14 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
01:39:47 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
01:43:19 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Max SendQ exceeded)
01:43:48 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
01:48:49 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
01:54:46 × poscat quits (~poscat@user/poscat) (Quit: Bye)
01:55:15 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:00:16 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
02:00:17 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
02:00:37 → chexum joins (~quassel@gateway/tor-sasl/chexum)
02:00:45 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
02:00:54 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
02:01:03 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d)
02:05:27 → poscat joins (~poscat@user/poscat)
02:06:13 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d) (Ping timeout: 276 seconds)
02:12:15 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:17:30 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Max SendQ exceeded)
02:18:21 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:23:01 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
02:25:35 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
02:26:01 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
02:31:39 → _leo___ joins (~emmanuelu@user/emmanuelux)
02:33:40 × emmanuelux_ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 256 seconds)
02:35:27 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:36:25 × _leo___ quits (~emmanuelu@user/emmanuelux) (Ping timeout: 246 seconds)
02:40:48 → newsham joins (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com)
02:42:46 <newsham> when implementing an STLC evaluator using an environment,  I'd like to do a lookup on names to get typed values, and get back a value with a specific type.  how do people usually do this?
02:43:45 <newsham> by construction the types should always match, but a normal map stores values of a single concrete type, and i'd like to be able to store different typed things in the environment.
02:43:59 <geekosaur> @hackage dependent-map
02:43:59 <lambdabot> https://hackage.haskell.org/package/dependent-map
02:44:14 <geekosaur> not that that's necessarily the best way
02:45:05 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
02:45:24 <newsham> do you have opinions on whats the best way?
02:45:32 <geekosaur> no, sorry
02:49:34 <EvanR> newsham, it's possible implement the stlc program as a well-typed GADT
02:52:11 <newsham> thats what i'm going for. https://pastebin.com/GXNNye85
02:52:29 <newsham> where this simple example supports some integer expressions as well
02:52:49 <EvanR> you can use an environment of type Map String Any, which if you did type-checking correctly, could use unsafeCoerce to get the correct value out. Which is what dependent-map does behind the scenes
02:53:07 <newsham> and I can coerce Any to what I want?
02:53:26 <EvanR> you can unsafeCoerce it to whatever it originally was
02:54:01 <EvanR> if you make a mistake, bad things happen
02:54:16 <newsham> i think that will be fine for my little example
02:54:18 <newsham> thank you
02:55:40 <EvanR> another way is something like HList for the environment
02:56:00 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d)
02:56:54 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
02:58:02 <EvanR> another way is higher order abstract syntax, where the lambda is implemented using (type-safe) host language function type
02:58:10 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:00:52 <newsham> like `eval env (LamAbs nm e) = \arg -> let env' = bind env nm e in eval env' e` ?
03:02:43 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
03:03:14 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
03:09:28 × td_ quits (~td@i53870901.versanet.de) (Ping timeout: 255 seconds)
03:10:28 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
03:11:07 → td_ joins (~td@i5387093C.versanet.de)
03:13:54 <newsham> hmm.. instead of `Any` would `Dynamic` work here?  to give runtime checking of safety
03:14:35 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:18:45 → todi1 joins (~todi@p4fd1a3e6.dip0.t-ipconnect.de)
03:19:05 × todi quits (~todi@p4fd1a3e6.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
03:20:47 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
03:26:01 <c_wraith> Dynamic would work.
03:26:24 × motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
03:26:34 <c_wraith> there might be ways to make type errors compile errors instead of runtime, but at least Dynamic will prevent them at runtime
03:28:12 → motherfsck joins (~motherfsc@user/motherfsck)
03:28:32 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
03:32:16 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:38:26 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
03:40:49 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:46:17 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
03:46:25 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
03:56:36 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:56:36 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:56:36 finn_elija is now known as FinnElija
03:57:55 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
03:59:41 → wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com)
03:59:41 × wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
03:59:41 → wroathe joins (~wroathe@user/wroathe)
04:01:49 → lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
04:01:54 → arahael_ joins (~arahael@1.145.122.57)
04:04:31 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
04:08:45 → Xyloes joins (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04)
04:11:35 × rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in)
04:13:48 → rembo10 joins (~rembo10@main.remulis.com)
04:15:31 × rembo10 quits (~rembo10@main.remulis.com) (Client Quit)
04:15:35 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:17:41 → rembo10 joins (~rembo10@main.remulis.com)
04:18:03 <newsham> I was able to get it to work with `Any` and `unsafeCoerce`.  I cant seem to get it to work with `Dyn`: http://tpcg.io/_489XQK.
04:18:14 <newsham> `No instance for (Typeable a) arising from a use of `fromDynamic'`
04:21:25 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
04:21:29 × rembo10 quits (~rembo10@main.remulis.com) (Client Quit)
04:22:07 → rembo10 joins (~rembo10@main.remulis.com)
04:28:37 <newsham> i'm guessing due to polymorphism
04:30:17 <newsham> but shouldnt all this be monomorphized already?
04:31:08 × arahael_ quits (~arahael@1.145.122.57) (Read error: Connection reset by peer)
04:33:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:39:33 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
04:41:16 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
04:44:46 <EvanR> to use Dynamic you probably need to add Typeable constraints everywhere, perhaps in your GADT constructors
04:47:23 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
04:47:23 <EvanR> e.g. get :: Env -> String -> Val a has no Typeable constraint so fromDynamic won't work
04:49:06 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
04:53:25 × dtman34 quits (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
04:55:27 → dtman34 joins (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net)
04:55:37 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
04:56:52 → aforemny_ joins (~aforemny@i59F516DA.versanet.de)
04:57:05 × aforemny quits (~aforemny@i59F516E0.versanet.de) (Ping timeout: 252 seconds)
04:58:51 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:01:08 × phma quits (phma@2001:5b0:2172:b618:6003:f20e:7dc2:df89) (Read error: Connection reset by peer)
05:01:39 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
05:02:26 → phma joins (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94)
05:03:55 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
05:04:11 → notzmv joins (~zmv@user/notzmv)
05:13:07 <ski> probably only would need `Typeable' on `LamApp', i think
05:14:55 <ski> newsham : oh, and you ought to define `showsPrec', not `show', in the `Show' instance
05:15:15 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:2d66:d5f4:1244:77d) (Remote host closed the connection)
05:15:36 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:16:16 <ski> ah, right, it's values you convert to `Dynamic'. so `ValFunc', rather than `LamApp', then
05:21:46 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
05:24:14 → bliminse joins (~bliminse@user/bliminse)
05:28:42 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
05:32:21 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
05:33:18 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:39:37 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
05:42:15 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
05:48:30 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
05:54:03 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
05:59:43 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
05:59:54 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:05:41 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
06:15:25 × myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos)
06:16:33 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
06:17:35 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:18:19 → myxos joins (~myxos@065-028-251-121.inf.spectrum.com)
06:24:16 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
06:27:19 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
06:29:18 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
06:34:01 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
06:34:31 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
06:35:14 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:37:29 × newsham quits (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed)
06:41:23 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
06:43:15 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
06:45:42 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
06:51:28 → Guest65 joins (~Guest65@2600:1700:ef60:e710:c165:d92b:2ec3:bf7)
06:53:28 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
06:58:53 → newsham joins (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com)
07:04:53 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:05:00 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:08:56 × newsham quits (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed)
07:09:34 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
07:11:07 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
07:11:53 → Simikando joins (~Simikando@bband-dyn69.178-40-241.t-com.sk)
07:13:33 → gmg joins (~user@user/gehmehgeh)
07:14:40 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Ping timeout: 268 seconds)
07:15:42 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
07:22:57 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:26:00 → tertek joins (~tertek@user/tertek)
07:27:08 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
07:28:23 × euleritian quits (~euleritia@dynamic-046-114-202-213.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
07:28:42 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
07:29:23 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 264 seconds)
07:29:44 → newsham joins (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com)
07:29:45 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
07:30:34 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
07:34:59 × Guest65 quits (~Guest65@2600:1700:ef60:e710:c165:d92b:2ec3:bf7) (Quit: Client closed)
07:39:10 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:40:37 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
07:41:13 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
07:51:39 × Simikando quits (~Simikando@bband-dyn69.178-40-241.t-com.sk) (Ping timeout: 256 seconds)
07:52:08 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
08:04:01 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:04:28 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
08:10:13 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
08:11:13 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
08:21:40 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:27:15 ← AkshayMankar[m] parts (~axemanpub@static.102.80.201.138.clients.your-server.de) ()
08:28:25 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
08:31:47 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds)
08:32:19 → acidjnk joins (~acidjnk@p200300d6e72b939190ce6c45c9ff7d13.dip0.t-ipconnect.de)
08:39:07 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
08:42:51 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Ping timeout: 268 seconds)
08:50:34 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 246 seconds)
09:01:52 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:02:04 × newsham quits (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com) (Quit: Client closed)
09:02:09 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:02:20 → euleritian joins (~euleritia@dynamic-046-114-202-213.46.114.pool.telefonica.de)
09:02:40 × euleritian quits (~euleritia@dynamic-046-114-202-213.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
09:03:00 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
09:03:12 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
09:03:27 → MosaicDao joins (~MosaicDao@197.221.253.77)
09:04:20 × MosaicDao quits (~MosaicDao@197.221.253.77) (Client Quit)
09:09:17 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
09:11:18 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
09:18:50 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
09:19:30 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
09:20:53 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
09:25:02 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:26:34 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
09:29:19 todi1 is now known as todi
09:29:51 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
09:35:55 → akegalj joins (~akegalj@93-137-111-195.adsl.net.t-com.hr)
09:36:01 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
09:44:09 → rosco joins (~rosco@175.136.157.149)
09:44:27 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
09:44:27 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
09:44:53 → ec joins (~ec@gateway/tor-sasl/ec)
09:44:55 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
09:46:19 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
09:47:25 → Simikando joins (~Simikando@bband-dyn69.178-40-241.t-com.sk)
09:51:44 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
09:52:26 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
09:57:09 × lockywolf quits (~lockywolf@public.lockywolf.net) (Quit: ZNC 1.8.2 - https://znc.in)
09:57:50 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds)
09:59:20 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
09:59:52 × rosco quits (~rosco@175.136.157.149) (Quit: Lost terminal)
09:59:56 → lockywolf joins (~lockywolf@public.lockywolf.net)
10:00:51 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
10:03:47 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
10:05:22 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
10:06:14 → ubert joins (~Thunderbi@178.115.39.68.wireless.dyn.drei.com)
10:07:26 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds)
10:09:32 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
10:09:41 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
10:10:04 × krei-se quits (~krei-se@p5085dea2.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
10:10:07 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 268 seconds)
10:10:56 Lord_of_Life_ is now known as Lord_of_Life
10:12:23 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
10:18:13 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
10:20:48 → krei-se joins (~krei-se@p5085dea2.dip0.t-ipconnect.de)
10:26:29 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:27:21 × Simikando quits (~Simikando@bband-dyn69.178-40-241.t-com.sk) (Ping timeout: 256 seconds)
10:30:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
10:33:34 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
10:35:25 → sawilagar joins (~sawilagar@user/sawilagar)
10:35:52 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
10:42:25 → rosco joins (~rosco@175.136.157.149)
10:44:17 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
10:46:09 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
10:46:58 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
10:47:20 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
10:48:26 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
10:50:01 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
10:51:44 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
10:53:19 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
10:53:23 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
10:57:17 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 268 seconds)
11:03:52 → Pickchea joins (~private@user/pickchea)
11:05:02 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
11:11:05 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
11:14:14 × steew quits (~steew@user/steew) (Remote host closed the connection)
11:15:03 → steew joins (~steew@user/steew)
11:17:47 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:22b0:537b:2b94:33f1) (Ping timeout: 256 seconds)
11:19:09 → bienjensu joins (~user@user/bienjensu)
11:21:57 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e)
11:22:43 → Simikando joins (~Simikando@bband-dyn69.178-40-241.t-com.sk)
11:22:43 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
11:24:56 → alexherbo2 joins (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net)
11:27:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:29:07 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 276 seconds)
11:29:51 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
11:31:04 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e) (Ping timeout: 276 seconds)
11:34:29 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
11:36:33 × steew quits (~steew@user/steew) (Remote host closed the connection)
11:36:58 × img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
11:38:26 → img joins (~img@user/img)
11:40:17 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
11:40:57 → steew joins (~steew@user/steew)
11:42:41 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
11:54:11 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
11:55:38 × Pickchea quits (~private@user/pickchea) (Ping timeout: 252 seconds)
12:01:30 × mrmr15533 quits (~mrmr@user/mrmr) (Quit: Bye, See ya later!)
12:02:16 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds)
12:06:00 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
12:07:26 → mrmr15533 joins (~mrmr@user/mrmr)
12:12:01 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 276 seconds)
12:14:10 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
12:15:22 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
12:16:43 → gmg joins (~user@user/gehmehgeh)
12:22:25 × ubert quits (~Thunderbi@178.115.39.68.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
12:22:47 → ubert joins (~Thunderbi@178.115.39.68.wireless.dyn.drei.com)
12:27:59 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
12:32:38 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
12:35:41 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
12:40:08 × driib5 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
12:41:19 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)
12:41:47 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
12:41:58 → euleritian joins (~euleritia@dynamic-046-114-203-220.46.114.pool.telefonica.de)
12:42:29 → driib5 joins (~driib@vmi931078.contaboserver.net)
12:42:31 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
12:42:55 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 240 seconds)
12:43:38 × driib5 quits (~driib@vmi931078.contaboserver.net) (Client Quit)
12:43:44 → chexum joins (~quassel@gateway/tor-sasl/chexum)
12:43:44 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
12:44:19 → driib joins (~driib@vmi931078.contaboserver.net)
12:44:44 → Simikando_ joins (~Simikando@bband-dyn253.178-40-241.t-com.sk)
12:44:50 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
12:45:34 → misterfish joins (~misterfis@84-53-85-146.bbserv.nl)
12:47:34 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:47:46 × Simikando quits (~Simikando@bband-dyn69.178-40-241.t-com.sk) (Ping timeout: 276 seconds)
12:49:23 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
12:49:50 × akegalj quits (~akegalj@93-137-111-195.adsl.net.t-com.hr) (Quit: leaving)
12:55:16 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
12:57:04 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
12:59:59 × Simikando_ quits (~Simikando@bband-dyn253.178-40-241.t-com.sk) (Ping timeout: 264 seconds)
13:01:46 × euleritian quits (~euleritia@dynamic-046-114-203-220.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
13:02:03 → euleritian joins (~euleritia@77.22.252.56)
13:02:17 → target_i joins (~target_i@217.175.14.39)
13:07:20 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
13:08:47 → mmhat joins (~mmh@p200300f1c7217af8ee086bfffe095315.dip0.t-ipconnect.de)
13:12:55 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 255 seconds)
13:12:55 × euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer)
13:13:56 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
13:18:53 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
13:19:21 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
13:21:06 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
13:40:11 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
13:44:25 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
13:50:54 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
13:56:27 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 256 seconds)
13:58:23 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds)
13:59:29 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
14:06:49 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
14:08:14 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
14:09:35 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
14:10:04 → fweht joins (uid404746@id-404746.lymington.irccloud.com)
14:14:14 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
14:19:52 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 255 seconds)
14:20:41 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
14:26:08 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
14:28:14 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds)
14:32:37 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 260 seconds)
14:35:24 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
14:40:13 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
14:44:43 × Xyloes quits (~wyx@2400:dd01:103a:1012:5923:33ce:7857:fc04) (Quit: Konversation terminated!)
14:46:41 × pandry quits (~Pandry@93-41-34-64.ip79.fastwebnet.it) (Ping timeout: 252 seconds)
14:48:43 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
14:51:11 → pandry joins (~Pandry@93-41-34-64.ip79.fastwebnet.it)
14:53:26 → zetef joins (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f)
14:53:49 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
14:56:41 → mc47 joins (~mc47@xmonad/TheMC47)
15:00:16 → idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
15:01:55 × albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
15:02:59 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 264 seconds)
15:03:44 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e)
15:06:08 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
15:06:43 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
15:09:07 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
15:10:32 → kspalaiologos joins (~kspalaiol@user/kspalaiologos)
15:10:38 → gmg joins (~user@user/gehmehgeh)
15:11:34 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
15:12:20 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
15:14:07 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
15:15:52 → azimut joins (~azimut@gateway/tor-sasl/azimut)
15:27:02 → albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8)
15:40:14 × foul_owl quits (~kerry@157.97.134.168) (Ping timeout: 260 seconds)
15:41:15 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
15:44:25 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
15:44:48 → Simikando_ joins (~Simikando@bband-dyn253.178-40-241.t-com.sk)
15:44:52 → Tlsx joins (~rscastilh@189.61.140.215)
15:54:19 → foul_owl joins (~kerry@157.97.134.168)
16:01:09 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
16:01:10 → ddellacosta joins (~ddellacos@ool-44c73d16.dyn.optonline.net)
16:01:43 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:03:26 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
16:03:57 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
16:08:32 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
16:08:47 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
16:12:55 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
16:13:23 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
16:13:36 × son0p quits (~ff@181.136.122.143) (Quit: Bye)
16:23:49 × rosco quits (~rosco@175.136.157.149) (Quit: Lost terminal)
16:25:46 × qqq quits (~qqq@92.43.167.61) (Remote host closed the connection)
16:26:32 × alexherbo2 quits (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Remote host closed the connection)
16:33:32 → son0p joins (~ff@181.136.122.143)
16:36:33 → bratwurst joins (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8)
16:38:57 → alp_ joins (~alp@2001:861:e3d6:8f80:a8e:6b84:4b7e:df95)
16:41:22 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds)
16:42:07 × bratwurst quits (~blaadsfa@2604:3d09:207f:f650:216:3eff:fe5a:a1f8) (Quit: Leaving)
16:44:53 × Simikando_ quits (~Simikando@bband-dyn253.178-40-241.t-com.sk) (Quit: Leaving)
16:47:24 → alexherbo2 joins (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net)
16:48:30 × alexherbo2 quits (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Remote host closed the connection)
16:49:46 → notzmv joins (~zmv@user/notzmv)
16:50:25 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e) (Ping timeout: 246 seconds)
16:50:45 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e)
17:01:46 → iqubic joins (~avi@2601:602:9502:c70:c94f:89a4:f1d7:2a2a)
17:02:23 → wootehfoot joins (~wootehfoo@user/wootehfoot)
17:06:23 → mc47 joins (~mc47@xmonad/TheMC47)
17:09:36 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
17:09:53 → alexherbo2 joins (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net)
17:11:43 × kimiamania46 quits (~65804703@user/kimiamania) (Quit: PegeLinux)
17:11:44 × pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
17:12:13 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
17:12:39 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
17:16:18 → kimiamania46 joins (~65804703@user/kimiamania)
17:25:19 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
17:25:25 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:26:02 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:28:28 × gawen quits (~gawen@user/gawen) (Quit: cya)
17:35:21 → Pickchea joins (~private@user/pickchea)
17:35:43 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
17:35:44 → Jackneill joins (~Jackneill@20014C4E1E120500FA025AFCBA8AF666.dsl.pool.telekom.hu)
17:36:13 → gawen joins (~gawen@user/gawen)
17:36:24 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
17:37:32 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
17:37:48 → Axman6 joins (~Axman6@user/axman6)
17:39:50 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
17:46:31 → thegeekinside joins (~thegeekin@189.217.90.224)
17:47:54 × thegeekinside quits (~thegeekin@189.217.90.224) (Remote host closed the connection)
17:52:13 → sawilagar joins (~sawilagar@user/sawilagar)
17:57:19 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
17:59:44 × Alleria quits (~JohnGalt@user/alleria) (Read error: Connection reset by peer)
18:00:35 → Alleria joins (~JohnGalt@user/alleria)
18:01:29 → azimut joins (~azimut@gateway/tor-sasl/azimut)
18:05:23 × Pickchea quits (~private@user/pickchea) (Ping timeout: 264 seconds)
18:09:19 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
18:09:27 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
18:09:36 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
18:11:25 → justsomeguy joins (~justsomeg@user/justsomeguy)
18:11:27 × ddellacosta quits (~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 256 seconds)
18:15:09 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
18:16:20 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
18:20:16 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
18:20:16 → ddellacosta joins (~ddellacos@ool-44c73d16.dyn.optonline.net)
18:30:51 → mikess joins (~sam@S010664777dafd303.cg.shawcable.net)
18:31:43 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:33:40 × jmpxor quits (~jmpxor@d149-67-225-73.try.wideopenwest.com) (Remote host closed the connection)
18:36:46 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
18:41:57 → Sgeo joins (~Sgeo@user/sgeo)
18:46:43 ← awth13 parts (~awth13@user/awth13) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1))
18:47:41 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
18:52:18 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 256 seconds)
18:55:15 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Changing host)
18:55:15 → mikess joins (~sam@user/mikess)
18:56:02 × mikess quits (~sam@user/mikess) (Quit: leaving)
18:56:18 → mikess joins (~sam@S010664777dafd303.cg.shawcable.net)
18:57:39 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
19:05:34 × dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
19:07:50 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Quit: leaving)
19:08:05 → mikess joins (~sam@S010664777dafd303.cg.shawcable.net)
19:08:05 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Client Quit)
19:08:25 → mikess joins (~sam@S010664777dafd303.cg.shawcable.net)
19:08:41 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Client Quit)
19:14:03 → mikess joins (~sam@S010664777dafd303.cg.shawcable.net)
19:14:03 × mikess quits (~sam@S010664777dafd303.cg.shawcable.net) (Changing host)
19:14:03 → mikess joins (~sam@user/mikess)
19:15:32 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:d576:73a9:9285:a82e) (Ping timeout: 256 seconds)
19:16:58 × mikess quits (~sam@user/mikess) (Client Quit)
19:18:14 × troydm quits (~troydm@user/troydm) (Ping timeout: 260 seconds)
19:25:11 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:d240:b659:cfcc:dabc)
19:31:17 → troydm joins (~troydm@user/troydm)
19:42:16 × bienjensu quits (~user@user/bienjensu) (Ping timeout: 246 seconds)
19:42:58 × alp_ quits (~alp@2001:861:e3d6:8f80:a8e:6b84:4b7e:df95) (Remote host closed the connection)
19:43:13 → alp_ joins (~alp@2001:861:e3d6:8f80:4129:7c9f:9b0:5dee)
19:45:11 × dove quits (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 3.8)
19:45:59 → dove joins (~irc@23.153.248.82)
19:49:19 × Pozyomka quits (~pyon@user/pyon) (Quit: brb)
19:50:21 → mikess joins (~sam@user/mikess)
19:55:04 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:55:17 × zetef quits (~quassel@2a02:2f00:5201:4b00:19c:1be6:f517:649f) (Ping timeout: 256 seconds)
20:01:48 × ubert quits (~Thunderbi@178.115.39.68.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
20:01:57 × justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds)
20:05:40 → Pozyomka joins (~pyon@user/pyon)
20:06:53 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:d240:b659:cfcc:dabc) (Read error: Connection reset by peer)
20:07:13 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:d240:b659:cfcc:dabc)
20:10:59 × zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving)
20:11:38 → Pickchea joins (~private@user/pickchea)
20:11:45 dove is now known as inedia
20:13:33 → emmanuelux joins (~emmanuelu@user/emmanuelux)
20:15:28 → actioninja9 joins (~actioninj@user/actioninja)
20:16:56 → zmt00 joins (~zmt00@user/zmt00)
20:17:13 × actioninja quits (~actioninj@user/actioninja) (Ping timeout: 268 seconds)
20:17:14 actioninja9 is now known as actioninja
20:18:07 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:d240:b659:cfcc:dabc) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
20:20:21 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:be0e:ac4b:3808:5d35)
20:25:39 × ddellacosta quits (~ddellacos@ool-44c73d16.dyn.optonline.net) (Quit: WeeChat 4.1.1)
20:32:32 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:be0e:ac4b:3808:5d35) (Ping timeout: 252 seconds)
20:36:25 → YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1)
20:37:42 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
20:40:50 × kiriakos quits (~kiriakos@p57b65945.dip0.t-ipconnect.de) (Remote host closed the connection)
20:45:18 × Tlsx quits (~rscastilh@189.61.140.215) ()
20:53:53 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:49c4:337a:ff0f:d4e1) (Ping timeout: 260 seconds)
20:58:15 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
21:00:35 × misterfish quits (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds)
21:08:53 × Luj quits (~Luj@2a01:e0a:5f9:9681:865:6f61:bdb5:3f47) (Quit: Ping timeout (120 seconds))
21:09:11 → Luj joins (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
21:17:10 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
21:19:17 × mmhat quits (~mmh@p200300f1c7217af8ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
21:19:39 → mmhat joins (~mmh@p200300f1c7217ae0ee086bfffe095315.dip0.t-ipconnect.de)
21:22:46 × ft quits (~ft@p508db3bc.dip0.t-ipconnect.de) (Remote host closed the connection)
21:29:02 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
21:33:25 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
21:34:14 × nckx quits (~nckx@libera/staff/owl/nckx) (Remote host closed the connection)
21:36:26 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
21:39:19 → nckx joins (~nckx@libera/staff/owl/nckx)
21:44:55 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
21:45:44 → gmg joins (~user@user/gehmehgeh)
21:48:17 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
21:48:58 → AlienCipher joins (~AlienCiph@113.164.176.43)
21:49:40 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
21:51:14 × Pickchea quits (~private@user/pickchea) (Quit: Leaving)
21:52:49 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
22:01:11 → dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
22:03:23 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
22:03:45 → chexum joins (~quassel@gateway/tor-sasl/chexum)
22:08:37 → jmdaemon joins (~jmdaemon@user/jmdaemon)
22:09:53 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
22:15:01 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
22:15:58 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds)
22:16:40 → nate4 joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net)
22:21:34 × nate4 quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
22:24:22 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds)
22:25:21 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
22:27:30 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
22:32:46 × Jackneill quits (~Jackneill@20014C4E1E120500FA025AFCBA8AF666.dsl.pool.telekom.hu) (Ping timeout: 276 seconds)
22:33:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:34:35 → newsham joins (~newsham@2603-800c-2c01-6825-6099-561e-33fd-e2ba.res6.spectrum.com)
22:39:16 × acidjnk quits (~acidjnk@p200300d6e72b939190ce6c45c9ff7d13.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
22:40:44 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
22:41:24 × alexherbo2 quits (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net) (Remote host closed the connection)
22:42:27 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
22:45:48 → fyfor joins (~fyfor@2600:1700:ef60:e710:c21f:402d:cb6f:3011)
22:46:08 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:46:20 → ddellacosta joins (~ddellacos@ool-44c73d16.dyn.optonline.net)
22:49:41 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds)
22:54:20 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:55:10 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e) (Remote host closed the connection)
22:55:18 → alexherbo2 joins (~alexherbo@2a02-8440-3240-abf5-0c6d-5c34-f921-3e65.rev.sfr.net)
22:58:19 × fyfor quits (~fyfor@2600:1700:ef60:e710:c21f:402d:cb6f:3011) (Quit: Client closed)
23:03:35 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
23:04:09 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:1574:a602:a028:b4e)
23:05:22 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
23:14:14 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
23:21:18 → Fijxu joins (~Fijxu@user/fijxu)
23:21:26 <Fijxu> test!
23:21:40 <geekosaur> pass
23:21:43 <geekosaur> and welcome
23:22:07 <Fijxu> o/
23:22:36 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
23:23:41 × analoq quits (~yashi@user/dies) (Ping timeout: 245 seconds)
23:24:31 → analoq joins (~yashi@user/dies)
23:24:50 → ft joins (~ft@p508db3bc.dip0.t-ipconnect.de)
23:28:05 → johnw joins (~johnw@69.62.242.138)
23:28:42 × alp_ quits (~alp@2001:861:e3d6:8f80:4129:7c9f:9b0:5dee) (Remote host closed the connection)
23:29:00 → alp_ joins (~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887)
23:29:05 × Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 245 seconds)
23:29:55 → Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
23:35:35 <Axman6> Gooood mooorrrning #Haskell!
23:36:34 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
23:37:02 <Fijxu> gm
23:37:05 → emmanuelux joins (~emmanuelu@user/emmanuelux)
23:37:16 <Fijxu> I don't know anything about haskell but anyways gm ^.^
23:37:20 × alp_ quits (~alp@2001:861:e3d6:8f80:6df4:9252:effd:9887) (Ping timeout: 268 seconds)
23:37:49 <jackdk> That's what the channel is for
23:38:41 <Axman6> To learn, about Haskell!
23:38:51 → fyfor joins (~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b)
23:38:59 × fyfor quits (~fyfor@2600:1700:ef60:e710:a17f:13e4:140a:7f9b) (Client Quit)
23:39:05 → phma_ joins (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94)
23:39:58 <Axman6> Fijxu: can we help change that?
23:40:41 × idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.1.1)
23:41:54 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:42:26 × phma quits (~phma@2001:5b0:211b:ddc8:706f:10c0:4024:fd94) (Ping timeout: 245 seconds)
23:44:59 <Fijxu> Axman6: Probably, I am currently learning C but I don't see any real world uses for haskell when C or C++ can be used
23:45:32 <Fijxu> Or at least I don't have any project in mind involving haskell
23:45:49 <Fijxu> I like embedded programming :p
23:48:06 <Axman6> As someone who's spent a decade using Haskell professionally, I would have to disagree :)
23:48:42 <Axman6> There are some excellent projects for using Haskell for embedded systems, particularly coming out of NASA (by Galois)
23:50:03 <monochrom> Unpopular opinion: It is actually better to learn before there is a "project".
23:50:49 <jackdk> monochrom: Why? You give up the motivation of an explicit goal, so I assume you see something of greater value than that in exchange. What is it?
23:51:28 <monochrom> Actually learning the toolset for what it really is, instead of jumping to the gun with XY problems inspired fixation on a short-term goal.
23:51:50 <jackdk> Yes, it will make it easy to X-Y yourself, and I remember struggling with that.
23:52:35 <monochrom> "I want to learn programming in this language" is enough motivation.
23:52:51 <Fijxu> Depends of the person
23:53:09 <monochrom> As opposed to "I heard that Python is good for this fad called ML so here I am learning Python for ML".
23:53:11 <Fijxu> That doesn't motivates me unless I have a project in mind
23:53:17 × chomwitt quits (~chomwitt@2a02:587:7a24:bc00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds)
23:53:55 <monochrom> Computer programming is a life-long project. Google for "get good at anything in 10 years".
23:56:10 <Fijxu> I saw something like that like 2 weeks ago
23:56:11 <int-e> get good at clickbait in three easy steps
23:56:35 <jackdk> Seems like a lot of effort. Don't you have one weird trick to make it easier?
23:56:45 <int-e> (number 3 will surprise you)
23:57:12 <Fijxu> For now I am taking an x86-64 assembly course while learning C at the same time
23:57:30 <Fijxu> because it is fun :p
23:57:55 Axman6 agrees with monochrom and thinks the "I'll learn a language by building a project" makes you decide to ignore things you think are unimportant, but you actually need to learn
23:59:10 <Axman6> Fijxu: "I don't see any real world uses for haskell when C or C++ can be used" you might want to let Facebook know that, their entire spam filtering infrastructure is written in Haskell

All times are in UTC on 2023-11-26.