Home liberachat/#haskell: Logs Calendar

Logs on 2024-01-06 (liberachat/#haskell)

00:05:59 → son0p joins (~ff@186.114.35.184)
00:07:42 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
00:09:56 × ystael quits (~ystael@user/ystael) (Ping timeout: 245 seconds)
00:12:10 × thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
00:15:59 × jargon quits (~jargon@211.sub-174-205-225.myvzw.com) (Read error: Connection reset by peer)
00:16:21 × acidjnk quits (~acidjnk@p200300d6e72b9387192044100938d5f4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
00:18:07 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
00:22:43 × chomwitt quits (~chomwitt@athedsl-99408.home.otenet.gr) (Remote host closed the connection)
00:32:02 × machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
00:33:24 × Tuplanolla quits (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.)
00:50:38 → gdown joins (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net)
00:53:49 → FinnElija joins (~finn_elij@user/finn-elija/x-0085643)
00:55:43 × adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
00:55:45 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
00:57:08 → adanwan joins (~adanwan@gateway/tor-sasl/adanwan)
00:57:38 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
00:58:04 → stiell joins (~stiell@gateway/tor-sasl/stiell)
01:02:10 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
01:02:33 → azimut joins (~azimut@gateway/tor-sasl/azimut)
01:03:30 → void joins (~mikess@user/mikess)
01:04:14 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
01:04:28 void is now known as mikess
01:06:13 × xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 256 seconds)
01:06:24 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
01:10:54 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer)
01:12:46 → erina joins (~erina@222.195.81.39)
01:14:02 → jmdaemon joins (~jmdaemon@user/jmdaemon)
01:14:12 × esph quits (~weechat@user/esph) (Ping timeout: 268 seconds)
01:14:33 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
01:15:01 → esph joins (~weechat@user/esph)
01:22:11 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
01:22:31 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
01:35:05 → bilegeek joins (~bilegeek@2600:1008:b081:b81f:9976:d007:6091:d13d)
01:54:03 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
02:07:52 × Axman6 quits (~Axman6@user/axman6) (Remote host closed the connection)
02:08:11 → Axman6 joins (~Axman6@user/axman6)
02:15:38 → xff0x joins (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp)
02:38:58 × xff0x quits (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 260 seconds)
02:41:25 × igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer)
02:52:30 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
02:58:41 → igemnace joins (~ian@user/igemnace)
03:00:59 <erina> @help djinn
03:01:00 <lambdabot> djinn <type>.
03:01:00 <lambdabot> Generates Haskell code from a type.
03:01:00 <lambdabot> https://github.com/augustss/djinn
03:02:18 <erina> :t (map .)
03:02:19 <lambdabot> (a1 -> a2 -> b) -> a1 -> [a2] -> [b]
03:09:44 <erina> I don't really get this......
03:09:50 <erina> :t map (.)
03:09:51 <lambdabot> [b -> c] -> [(a -> b) -> a -> c]
03:09:56 <erina> :t (.) map
03:09:57 <lambdabot> (a1 -> a2 -> b) -> a1 -> [a2] -> [b]
03:10:21 <erina> :t flip (map .)
03:10:22 <lambdabot> a1 -> (a1 -> a2 -> b) -> [a2] -> [b]
03:13:31 <erina> Oh, I got it.
03:13:41 <erina> I got the type of the (.) operator wrong.
03:14:16 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Remote host closed the connection)
03:14:32 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681)
03:17:43 × motherfsck quits (~motherfsc@user/motherfsck) (Quit: quit)
03:20:19 → finn_elija joins (~finn_elij@user/finn-elija/x-0085643)
03:20:19 × FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
03:20:19 finn_elija is now known as FinnElija
03:20:22 → incertia_ joins (~incertia@209.122.137.252)
03:21:08 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
03:21:41 × incertia quits (~incertia@209.122.137.252) (Ping timeout: 240 seconds)
03:21:41 incertia_ is now known as incertia
03:21:52 → jargon joins (~jargon@211.sub-174-205-225.myvzw.com)
03:28:46 → Axma61144 joins (~Axman6@user/axman6)
03:32:51 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
03:34:47 × esph quits (~weechat@user/esph) (Ping timeout: 264 seconds)
03:35:43 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
03:37:05 <Axma61144> Hello hello, can someone on matrix say some things so I can test a thing?
03:38:00 Axma61144 is now known as Bynbo7
03:39:02 → esph joins (~weechat@user/esph)
03:42:55 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
03:44:15 × td_ quits (~td@i53870917.versanet.de) (Ping timeout: 252 seconds)
03:44:51 <Clint> is the bridge working?
03:46:11 → td_ joins (~td@i5387093B.versanet.de)
03:46:57 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
03:49:54 <haskellbridge> 06<s​m> what things ?
03:50:15 <Bynbo7> As far as I know it is...
03:50:42 <Bynbo7> Issues I've been having with strange characters messing up my display
03:51:10 <Bynbo7> Looks like it's still happening, thanks sm
03:54:00 × gdown quits (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
03:56:36 → Axma55317 joins (~Axman6@user/axman6)
03:57:43 Axma55317 is now known as Axman61
03:58:51 → rvalue joins (~rvalue@user/rvalue)
04:05:33 → incertia_ joins (~incertia@209.122.137.252)
04:06:15 Lycurgus finds matrix cognitively dissonant with hs
04:06:30 → gdown joins (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net)
04:07:34 × incertia quits (~incertia@209.122.137.252) (Ping timeout: 260 seconds)
04:07:34 incertia_ is now known as incertia
04:09:50 → aforemny joins (~aforemny@2001:9e8:6ceb:8a00:a2b7:311b:c8e6:59e1)
04:10:23 × aforemny_ quits (~aforemny@i59F516E1.versanet.de) (Ping timeout: 256 seconds)
04:11:12 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
04:17:11 × alp_ quits (~alp@2001:861:e3d6:8f80:157b:7ae2:54aa:2f19) (Ping timeout: 256 seconds)
04:26:26 <glguy> Bynbo7: does it only work will all of your layers? Have you tried without tmux or any of the other pieces?
04:52:09 → waldo joins (~waldo@user/waldo)
05:00:16 → qqq joins (~qqq@92.43.167.61)
05:03:16 × shriekingnoise quits (~shrieking@186.137.175.87) (Ping timeout: 245 seconds)
05:09:35 × waldo quits (~waldo@user/waldo) (Ping timeout: 264 seconds)
05:12:16 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 246 seconds)
05:12:24 → waldo joins (~waldo@user/waldo)
05:13:23 → Fansly joins (~Fansly@103.3.220.245)
05:16:11 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
05:26:54 × mikess quits (~mikess@user/mikess) (Quit: nyaa~)
05:27:35 → mikess joins (~mikess@user/mikess)
05:27:36 × phma quits (phma@2001:5b0:211b:ea88:27f8:300f:f5b2:4333) (Read error: Connection reset by peer)
05:28:12 × mikess quits (~mikess@user/mikess) (Client Quit)
05:28:18 → phma joins (~phma@host-67-44-208-92.hnremote.net)
05:35:22 × Fansly quits (~Fansly@103.3.220.245) (Ping timeout: 260 seconds)
05:35:43 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
05:39:34 → causal joins (~eric@50.35.85.7)
05:43:13 × ell quits (~ellie@user/ellie) (Quit: Leaving)
05:44:11 → ell joins (~ellie@user/ellie)
05:45:21 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 245 seconds)
05:45:38 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds)
05:46:28 → Fansly joins (~Fansly@2404:c0:2120::ac2:8f13)
05:56:43 × waldo quits (~waldo@user/waldo) (Ping timeout: 246 seconds)
05:59:10 → random-jellyfish joins (~developer@2a02:2f04:11e:c600:fb0c:a9bb:caa2:bcbb)
05:59:10 × random-jellyfish quits (~developer@2a02:2f04:11e:c600:fb0c:a9bb:caa2:bcbb) (Changing host)
05:59:10 → random-jellyfish joins (~developer@user/random-jellyfish)
05:59:35 → waldo joins (~waldo@user/waldo)
06:02:55 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
06:04:16 × Fansly quits (~Fansly@2404:c0:2120::ac2:8f13) (Ping timeout: 276 seconds)
06:04:35 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
06:10:00 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
06:12:19 → waldo joins (~waldo@user/waldo)
06:12:30 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
06:17:19 × ell quits (~ellie@user/ellie) (Quit: Leaving)
06:18:11 → ell joins (~ellie@user/ellie)
06:28:49 → harveypwca joins (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
06:30:54 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
06:40:22 → waldo joins (~waldo@user/waldo)
06:47:01 → trev joins (~trev@user/trev)
07:07:56 × gdown quits (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
07:19:37 → mixfix41 joins (~plaguedog@user/mixfix41)
07:23:23 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
07:32:26 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Quit: Quit)
07:32:36 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
07:33:05 → mikess joins (~mikess@user/mikess)
07:33:18 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Client Quit)
07:33:25 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
07:34:34 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:40:28 <Franciman> https://www.sciencedirect.com/science/article/pii/S0167642321000022 glad to see functional languages to be quite energy efficient
07:42:28 <Franciman> i wonder why ocaml is consistently more efficient than haskell
07:42:32 <Franciman> more energy efficient*
07:42:35 <Franciman> except for RAM
07:43:04 <Franciman> maybe it's because they use side effects in a freer way
07:43:48 <Franciman> i would expect the opposite, due to laziness avoiding useless recomputations
07:43:56 <Franciman> computations*
07:45:29 <int-e> but you can expect that there are few repeated computations in those benchmarks, so laziness is, for the most part, just bookkeeping overhead
07:46:22 → gmg joins (~user@user/gehmehgeh)
07:47:27 <Franciman> hmm ok, makes sense
07:47:30 <Franciman> python is a disaster lol
07:49:10 <int-e> I assume they used the standard CPython which is a bytecode interpreter which carries a lot of overhead.
07:49:53 → TMA joins (tma@twin.jikos.cz)
07:53:05 → alp_ joins (~alp@2001:861:e3d6:8f80:45c3:be55:befe:ab57)
07:54:02 <Franciman> int-e: no i read that for each language they took the state of the art implementations and compared the results
07:54:54 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
07:55:11 <Franciman> i mean, they tried different compilers/vms
07:56:18 <Franciman> but they don't seem to explicitly say which ones are considered. So maybe they think only cpython is state of the art :P
07:57:57 <int-e> Well, that is the standard implementation of Python. But it would be interesting to see how, say, PyPy would compare.
08:00:13 <int-e> Anyway, I don't think that the idea that lazy evaluation is benefitial for energy consumption will work out in practice... if you compare tuned implementations of the same algorithms in different languages which is what they're doing.
08:00:57 → mfaathirarsa joins (~Thunderbi@2001:448a:2010:476e:9181:8cb5:3456:b667)
08:01:07 <Franciman> so the results just say that ocaml's runtime is more energy efficient than haskell's one
08:01:10 <Franciman> full stop
08:01:41 <int-e> (You can do on-demand evaluation in other languages as well, or, more likely, compute just the values that you need, exactly once. Lazy evaluation will benefit you when you write naive implementations that express a lot of values that you'll never need.)
08:03:42 <int-e> I *love* lazy evaluation precisely because of this... the ability to write seemingly stupid code that is still executed *reasonably* efficiently. But I fully expect to pay a 2x factor in performance compared to more elaborate code that embeds more knowledge of which values are needed and which aren't.
08:03:56 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Remote host closed the connection)
08:03:57 <int-e> Quite possibly in a non-functional language.
08:09:49 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
08:12:26 × waldo quits (~waldo@user/waldo) (Ping timeout: 245 seconds)
08:15:54 × esph quits (~weechat@user/esph) (Ping timeout: 260 seconds)
08:17:48 → waldo joins (~waldo@user/waldo)
08:18:01 → esph joins (~weechat@user/esph)
08:26:55 petrichor tries to read the article, runs headlong ino
08:27:11 <petrichor> *into a paywall
08:27:30 <petrichor> ffs elsevier
08:29:27 <Fansly> Time to sail the seas
08:35:51 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681)
08:40:21 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Ping timeout: 245 seconds)
08:47:55 → fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
08:53:54 × mixfix41 quits (~plaguedog@user/mixfix41) (Ping timeout: 252 seconds)
08:56:37 × alp_ quits (~alp@2001:861:e3d6:8f80:45c3:be55:befe:ab57) (Ping timeout: 246 seconds)
08:57:53 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:01:39 × peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
09:02:55 × thelounge793 quits (~thelounge@2a05:f480:1400:24b2:5400:4ff:fe76:a8f3) (Ping timeout: 246 seconds)
09:07:38 × Square quits (~Square@user/square) (Ping timeout: 260 seconds)
09:07:54 → _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
09:09:02 → acidjnk joins (~acidjnk@p200300d6e72b9389282867f9962ac807.dip0.t-ipconnect.de)
09:15:51 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681)
09:17:33 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:22:40 → xdminsy joins (~xdminsy@117.147.71.169)
09:26:36 → mixfix41 joins (~plaguedog@user/mixfix41)
09:28:33 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds)
09:29:49 → rvalue joins (~rvalue@user/rvalue)
09:31:44 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
09:35:13 × random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 256 seconds)
09:44:51 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
09:47:40 → alp_ joins (~alp@2001:861:e3d6:8f80:28a9:a912:1c4c:ea20)
09:51:19 → Tuplanolla joins (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi)
09:54:22 → shriekingnoise joins (~shrieking@186.137.175.87)
09:55:48 × tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
09:58:29 × waldo quits (~waldo@user/waldo) (Ping timeout: 240 seconds)
10:00:54 → mmhat joins (~mmh@p200300f1c7323c1eee086bfffe095315.dip0.t-ipconnect.de)
10:01:13 × mmhat quits (~mmh@p200300f1c7323c1eee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
10:06:49 × alp_ quits (~alp@2001:861:e3d6:8f80:28a9:a912:1c4c:ea20) (Ping timeout: 256 seconds)
10:08:13 → waldo joins (~waldo@user/waldo)
10:19:11 × waldo quits (~waldo@user/waldo) (Ping timeout: 264 seconds)
10:23:33 × cyphase quits (~cyphase@user/cyphase) (Ping timeout: 252 seconds)
10:30:41 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:33:08 → xff0x joins (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp)
10:33:52 → sawilagar joins (~sawilagar@user/sawilagar)
10:34:13 → cyphase joins (~cyphase@user/cyphase)
10:36:49 → [_] joins (~itchyjunk@user/itchyjunk/x-7353470)
10:38:36 × erina quits (~erina@222.195.81.39) (Ping timeout: 256 seconds)
10:40:13 × [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds)
10:42:57 → waldo joins (~waldo@user/waldo)
10:44:36 → not_reserved joins (~not_reser@185.153.177.184)
10:46:17 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
10:46:40 → gmg joins (~user@user/gehmehgeh)
10:56:44 × acidjnk quits (~acidjnk@p200300d6e72b9389282867f9962ac807.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
11:00:23 → mc47 joins (~mc47@xmonad/TheMC47)
11:00:26 → ubert joins (~Thunderbi@p200300ecdf21770b15e685a60338cf54.dip0.t-ipconnect.de)
11:03:32 × harveypwca quits (~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
11:09:53 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
11:14:13 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 268 seconds)
11:15:15 × bilegeek quits (~bilegeek@2600:1008:b081:b81f:9976:d007:6091:d13d) (Quit: Leaving)
11:19:02 → vglfr joins (~vglfr@141.pool85-48-184.static.orange.es)
11:27:07 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Ping timeout: 246 seconds)
11:30:33 → billchenchina joins (~billchenc@103.118.42.229)
11:32:46 → mc47 joins (~mc47@xmonad/TheMC47)
11:32:47 → alycidyne joins (~kova@user/alycidyne)
11:33:59 × billchenchina quits (~billchenc@103.118.42.229) (Client Quit)
11:35:40 × igemnace quits (~ian@user/igemnace) (Remote host closed the connection)
11:36:59 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
11:38:34 × vglfr quits (~vglfr@141.pool85-48-184.static.orange.es) (Read error: Connection reset by peer)
11:39:10 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
11:48:35 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 264 seconds)
11:49:20 → vglfr joins (~vglfr@141.pool85-48-184.static.orange.es)
11:53:31 → erina joins (~erina@2001:da8:d800:186:dbdf:e94d:43ae:be02)
11:57:10 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681)
12:01:48 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
12:02:14 × mikess quits (~mikess@user/mikess) (Ping timeout: 260 seconds)
12:02:42 × ubert quits (~Thunderbi@p200300ecdf21770b15e685a60338cf54.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
12:02:45 → ubert1 joins (~Thunderbi@p548c8c1f.dip0.t-ipconnect.de)
12:05:02 ubert1 is now known as ubert
12:07:04 → azimut joins (~azimut@gateway/tor-sasl/azimut)
12:10:02 → igemnace joins (~ian@user/igemnace)
12:19:07 × vglfr quits (~vglfr@141.pool85-48-184.static.orange.es) (Read error: Connection reset by peer)
12:19:27 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
12:34:21 × phma quits (~phma@host-67-44-208-92.hnremote.net) (Read error: Connection reset by peer)
12:35:22 → phma joins (~phma@host-67-44-208-188.hnremote.net)
12:36:42 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 260 seconds)
12:37:14 → Fansly joins (~Fansly@103.3.220.245)
12:38:18 × ubert quits (~Thunderbi@p548c8c1f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
12:54:39 → irrgit_ joins (~irrgit@146.70.95.26)
12:55:25 → danza joins (~danza@151.47.165.195)
12:55:26 → danza_ joins (~danza@151.47.165.195)
12:55:36 × danza_ quits (~danza@151.47.165.195) (Remote host closed the connection)
12:57:41 <alycidyne> Hello, I've read about HOUSE, and am now thinking about more hacking in Haskell. Are there any recommended resources or communities for this?
12:57:41 × irrgit quits (~irrgit@146.70.27.218) (Ping timeout: 240 seconds)
12:59:10 <[exa]> (what's HOUSE?)
12:59:34 <[exa]> (I assume some cool acronym but never saw it as such)
13:03:20 <probie> [exa]: An experiment in writing an operating system in Haskell from about 20 years ago. https://programatica.cs.pdx.edu/House/
13:03:45 → ubert joins (~Thunderbi@p200300ecdf26831728578d2c0a0071cf.dip0.t-ipconnect.de)
13:04:50 <alycidyne> The paper is actually really fascinating, it's equal parts Haskell and system architecture (never thought I'd see ISA and Haskell in the same page)
13:05:47 × Fansly quits (~Fansly@103.3.220.245) (Ping timeout: 252 seconds)
13:06:16 <[exa]> ah this, cool
13:06:30 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
13:11:19 × fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
13:13:41 × danza quits (~danza@151.47.165.195) (Ping timeout: 240 seconds)
13:15:30 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 260 seconds)
13:17:32 <probie> HaLVM was also somewhat cool, although unikernels in general never seemed to gain much traction.
13:18:25 × jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds)
13:20:23 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:26:18 <alycidyne> probie: On an aside note, what I'm more intrigued is why nobody speaks about single-level store anymore. Apart from IBM i, no plans at all.
13:27:15 → danza joins (~danza@151.47.139.156)
13:31:20 → target_i joins (~target_i@217.175.14.39)
13:36:12 × mixfix41 quits (~plaguedog@user/mixfix41) (Quit: quittin' ..)
13:37:03 <erina> @hoogle (a->Bool) -> [a] -> [Int}
13:37:04 <lambdabot> Data.List findIndices :: (a -> Bool) -> [a] -> [Int]
13:37:04 <lambdabot> GHC.OldList findIndices :: (a -> Bool) -> [a] -> [Int]
13:37:04 <lambdabot> BasePrelude findIndices :: () => (a -> Bool) -> [a] -> [Int]
13:39:16 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
13:39:47 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
13:40:42 × esph quits (~weechat@user/esph) (Ping timeout: 260 seconds)
13:43:17 → esph joins (~weechat@user/esph)
13:43:49 × waldo quits (~waldo@user/waldo) (Ping timeout: 276 seconds)
13:44:29 → waldo joins (~waldo@user/waldo)
13:45:22 × danza quits (~danza@151.47.139.156) (Ping timeout: 260 seconds)
13:48:41 × waldo quits (~waldo@user/waldo) (Ping timeout: 252 seconds)
13:50:12 → danza joins (~danza@151.47.139.156)
13:53:50 <erina> @pl \x y -> map (x,) (elemIndices '.' y)
13:53:51 <lambdabot> (line 1, column 15):
13:53:51 <lambdabot> unexpected ","
13:53:51 <lambdabot> expecting letter or digit, variable, "(", operator or ")"
13:54:20 <erina> :t \x y -> map (x,) (elemIndices '.' y)
13:54:21 <lambdabot> t -> [Char] -> [(t, Int)]
13:55:01 <probie> erina: what are you trying to do?
13:55:45 <erina> I'm converting a [[Char]] to a list of indices containing '#' (the '.' is a mistake, but should look fine in this case)
13:57:53 <erina> I'm currently using concat $ zipWith (\x y -> map (x,) (elemIndices '.' y)) [0..] ls, which is ...... really ugly
13:57:58 × son0p quits (~ff@186.114.35.184) (Remote host closed the connection)
13:58:57 <haskellbridge> 15<J​ade> I'm looking at this sorting network https://bertdobbelaere.github.io/sorting_networks.html#N4L5D3 and it looks like you'd be able to find the minimum element using 5-comparisons (as sorting using 5 comparisons would trivially yield the minimum element) but I'm not sure how to do it standalone
13:59:33 <haskellbridge> 15<J​ade> My current approach needs six comparisons, but I can't figure out what sequence of five comparisons would yield me the minimum element
14:04:02 × erina quits (~erina@2001:da8:d800:186:dbdf:e94d:43ae:be02) (Ping timeout: 260 seconds)
14:04:57 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
14:05:20 × mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection)
14:16:34 × alycidyne quits (~kova@user/alycidyne) (Quit: leaving)
14:17:40 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel)
14:23:45 → erina joins (~erina@222.195.81.40)
14:25:18 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
14:31:35 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
14:41:46 → waldo joins (~waldo@user/waldo)
14:42:13 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
14:44:31 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
14:57:37 → sprout_ joins (~quassel@2a02-a448-3a80-0-490d-19e-4886-e182.fixed6.kpn.net)
14:58:29 → acidjnk joins (~acidjnk@p200300d6e72b9389282867f9962ac807.dip0.t-ipconnect.de)
15:00:29 × sprout quits (~quassel@2a02-a448-3a80-0-f168-44da-f351-b5b9.fixed6.kpn.net) (Ping timeout: 240 seconds)
15:08:22 × doyougnu- quits (~doyougnu@045-046-170-068.res.spectrum.com) (Ping timeout: 260 seconds)
15:11:51 → doyougnu joins (~doyougnu@045-046-170-068.res.spectrum.com)
15:19:34 → Guestintheweeb joins (~Guestinth@216.126.35.198)
15:35:43 × azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
15:36:42 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Read error: Connection reset by peer)
15:36:56 → Fansly joins (~Fansly@173-245-211-45.sin.as54203.net)
15:38:23 × waldo quits (~waldo@user/waldo) (Ping timeout: 264 seconds)
15:41:13 × Fansly quits (~Fansly@173-245-211-45.sin.as54203.net) (Ping timeout: 246 seconds)
15:41:50 → Fansly joins (~Fansly@2404:c0:2120::ac7:966e)
15:47:17 ← Guestintheweeb parts (~Guestinth@216.126.35.198) ()
15:47:55 → merrinx joins (~user@2001:4640:b7b9:0:12da:fc10:e9ef:c6f7)
15:52:57 <erina> @pl \a b c -> 1000000 * f a b c
15:52:58 <lambdabot> (((1000000 *) .) .) . f
15:56:21 × turlando quits (~turlando@user/turlando) ()
15:56:43 → turlando joins (~turlando@user/turlando)
16:00:04 × irrgit_ quits (~irrgit@146.70.95.26) (Remote host closed the connection)
16:00:23 → irrgit_ joins (~irrgit@176.113.74.130)
16:01:17 sprout_ is now known as sprout
16:02:20 × xff0x quits (~xff0x@133-175-35-58.east.fdn.vectant.ne.jp) (Ping timeout: 252 seconds)
16:02:26 → waldo joins (~waldo@user/waldo)
16:14:49 × Fansly quits (~Fansly@2404:c0:2120::ac7:966e) (Ping timeout: 246 seconds)
16:14:56 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
16:16:02 × erina quits (~erina@222.195.81.40) (Ping timeout: 260 seconds)
16:18:30 → nschoe joins (nschoe@gateway/vpn/protonvpn/nschoe)
16:18:54 × waldo quits (~waldo@user/waldo) (Ping timeout: 260 seconds)
16:19:53 → waldo joins (~waldo@user/waldo)
16:22:13 × nschoe quits (nschoe@gateway/vpn/protonvpn/nschoe) (Client Quit)
16:24:25 × danza quits (~danza@151.47.139.156) (Quit: Leaving)
16:24:43 × waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds)
16:30:01 × notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds)
16:30:56 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:31:40 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
16:32:21 <c_wraith> Jade: Still around? You only need 3 comparisons. min4 a b c d = min (min a b) (min c d)
16:33:36 <c_wraith> If you want to inline the calls to min it's a mess, but each one is only a single comparison.
16:33:41 <haskellbridge> 15<J​ade> the problem is that I can't compare values, but I need to know which of those parameters is the smallesz
16:33:46 <haskellbridge> 15<J​ade> the problem is that I can't compare values, but I need to know which of those parameters is the smallest
16:34:16 <c_wraith> that sounds more like a philosophical problem....
16:34:20 <haskellbridge> 15<J​ade> that gives me the smallest value, but I want to know which one is the smallest, the value doesn't matter
16:35:32 <c_wraith> I'm still trying to understand how to define "smallest" if you can't compare values.
16:35:48 <haskellbridge> 15<J​ade> The current approach looks like this https://paste.tomsmeding.com/lCfWdDaX
16:36:03 <haskellbridge> 15<J​ade> you can, but I want to know which one is the smallest, not what the smallest value is
16:36:22 → waldo joins (~waldo@user/waldo)
16:36:49 <duncan> this function does not pass the 'so what' test
16:39:31 <c_wraith> So you just write a trivial variant on min. min' (a, b) (c, d) | a < c = (a, b) | otherwise = (c, d)
16:40:17 <c_wraith> Or if you really want, return all 4
16:40:25 <c_wraith> Then you haven't lost anything
16:40:31 <haskellbridge> 15<J​ade> wait, yeah now I get what you mean
16:40:38 <haskellbridge> 15<J​ade> that makes so much more sense, I feel stupid
16:44:11 <c_wraith> Eh. You shouldn't feel stupid. It takes a long time to learn all the ways to turn a problem sideways to see if it works better from that angle.
16:44:19 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:45:00 <haskellbridge> 15<J​ade> hm, but I need to recursively call this function, and depending on which parameter was the smallest, I need to pass that lists tail and the full list for the others
16:48:06 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:50:23 → son0p joins (~ff@186.114.35.184)
16:50:25 <c_wraith> yeah, so.. if you have something more like... helper (a, as) (b, bs) | a < b = ((a, as), (b, bs)) | otherwise = ((b, bs), (a,as))
16:50:42 <c_wraith> you call it with the head and tail of each list
16:50:54 <c_wraith> it compares only the heads
16:51:37 <c_wraith> and gives you back (head, tail) pairs ordered by the heads. Then you still have all four pieces of information, but you know which is necessary where
16:52:19 × ubert quits (~Thunderbi@p200300ecdf26831728578d2c0a0071cf.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
16:52:23 → ubert1 joins (~Thunderbi@p200300ecdf26838a28d1917258673ded.dip0.t-ipconnect.de)
16:52:37 <c_wraith> The main thing to do is ignore the parameters after they've been used once. Use the outputs of that intead
16:53:00 <haskellbridge> 15<J​ade> rightg
16:53:01 <haskellbridge> 15<J​ade> right
16:54:40 ubert1 is now known as ubert
16:59:00 × esph quits (~weechat@user/esph) (Ping timeout: 252 seconds)
17:00:21 <haskellbridge> 15<J​ade> ah damnit
17:00:24 → esph joins (~weechat@user/esph)
17:00:43 <haskellbridge> 15<J​ade> this works, but it breaks stability, because the position of the list in the recursive call is important
17:00:56 <haskellbridge> 15<J​ade> and that isn't given this way
17:05:00 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
17:06:47 <c_wraith> Hmm, it's sure not. You could probably recover it, but the overhead is starting to get annoying
17:10:06 <c_wraith> the one sure way to do it, I suppose, is the most annoying. You just move the whole tree into your code as a bunch of nested cases
17:10:30 <haskellbridge> 15<J​ade> I think that is what I had before with optimizations
17:10:42 <c_wraith> well.. you weren't nesting
17:10:51 <haskellbridge> 15<J​ade> *but* it has six comparisons, but it should be possible to reduce it to five
17:10:59 <haskellbridge> 15<J​ade> right, yeah
17:11:49 <c_wraith> the nesting depth should be three. And that's the part that matters. Not the number of different conditions in different branches
17:16:07 → tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net)
17:19:02 → azimut joins (~azimut@gateway/tor-sasl/azimut)
17:21:19 × waldo quits (~waldo@user/waldo) (Ping timeout: 255 seconds)
17:25:42 → waldo joins (~waldo@user/waldo)
17:27:53 <c_wraith> Jade: This isn't the actual code you need, but this is the structure of it. https://paste.tomsmeding.com/tK15HPHc
17:28:27 <c_wraith> Jade: note that reaching each branch requires 3 comparison, and in that branch you know which was the minimum (or equal, to preserve stability)
17:28:37 <haskellbridge> 15<J​ade> thank you
17:29:06 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
17:29:06 <c_wraith> and yes, I tested it with all permutations of [1,2,3,4] and got 1 as the result each time :)
17:34:49 → rvalue joins (~rvalue@user/rvalue)
17:38:28 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 246 seconds)
17:40:07 × eggplantade quits (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681) (Remote host closed the connection)
17:40:25 → eggplantade joins (~Eggplanta@2600:1700:38c5:d800:4930:80a7:d767:a681)
17:41:42 → mengu1 joins (~mengu1@c83-254-18-254.bredband.tele2.se)
17:42:19 × mfaathirarsa quits (~Thunderbi@2001:448a:2010:476e:9181:8cb5:3456:b667) (Quit: mfaathirarsa)
17:45:10 × mengu1 quits (~mengu1@c83-254-18-254.bredband.tele2.se) (Client Quit)
17:49:44 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
17:54:56 <EvanR> such brute force
17:58:16 <c_wraith> honestly, template haskell should be used to write that kind of code. It's painful.
17:59:11 <ephemient> going back to the original, wouldn't this be good enough? https://paste.tomsmeding.com/AZfwpd81
18:00:34 <c_wraith> I like it.
18:01:55 <c_wraith> Though it pays laziness overhead on top of what the giant tree does. (thunks are allocated for all the unused branches, which isn't totally free.) I wouldn't usually care about that, but in the specific case of writing what's supposed to be an optimized sort...
18:02:10 <monochrom> I think you missed "a :" "b :" etc but heh.
18:02:42 → vglfr joins (~vglfr@157.pool85-48-184.static.orange.es)
18:02:55 × vglfr quits (~vglfr@157.pool85-48-184.static.orange.es) (Read error: Connection reset by peer)
18:03:14 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
18:07:26 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 245 seconds)
18:08:48 <c_wraith> also, fwiw in the context of the original I'm seeing some use of (:|), which suggests Data.List.NonEmpty. Be careful using it in performance-oriented code. There are use patterns where it can destroy sharing and cause a lot of extra allocation.
18:10:02 × irrgit_ quits (~irrgit@176.113.74.130) (Read error: Connection reset by peer)
18:10:21 → irrgit_ joins (~irrgit@176.113.74.130)
18:10:41 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
18:11:43 → __monty__ joins (~toonn@user/toonn)
18:13:21 <EvanR> smh, shoulda used newtype over basic list to track if it's nonempty
18:15:20 × vglfr quits (~vglfr@234.red-88-6-215.staticip.rima-tde.net) (Ping timeout: 256 seconds)
18:21:40 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
18:22:52 → vglfr joins (~vglfr@234.red-88-6-215.staticip.rima-tde.net)
18:24:14 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
18:26:12 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
18:30:26 × not_reserved quits (~not_reser@185.153.177.184) (Quit: Client closed)
18:30:37 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
18:37:13 → zmt01 joins (~zmt00@user/zmt00)
18:39:16 → notzmv joins (~zmv@user/notzmv)
18:41:10 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds)
18:46:29 × esph quits (~weechat@user/esph) (Ping timeout: 240 seconds)
18:49:52 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:50:30 → esph joins (~weechat@user/esph)
18:55:38 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
19:03:29 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
19:03:49 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
19:08:28 → billchenchina joins (~billchenc@103.152.35.21)
19:09:07 × esph quits (~weechat@user/esph) (Ping timeout: 246 seconds)
19:10:14 → esph joins (~weechat@user/esph)
19:14:22 × YoungFrog quits (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 260 seconds)
19:15:20 → peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com)
19:15:29 → YoungFrog joins (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
19:19:40 → Ashkan joins (~Ashkan@147.161.173.72)
19:20:51 <Ashkan> Hey guys
19:20:51 <Ashkan> How do I copy a haskell value (possible large vector, a vertex buffer to be exact) into a `Ptr ()` I have ?
19:20:52 <Ashkan> I've found `poke` but I'm not sure
19:23:39 × esph quits (~weechat@user/esph) (Ping timeout: 252 seconds)
19:25:30 → esph joins (~weechat@user/esph)
19:30:08 <ncf> castPtr, poke
19:36:48 × waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds)
19:38:01 × Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving)
19:38:17 <Ashkan> ncf tnx
19:40:04 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
19:43:59 → waldo joins (~waldo@user/waldo)
19:44:59 × esph quits (~weechat@user/esph) (Ping timeout: 264 seconds)
20:01:28 → wroathe joins (~wroathe@50.205.197.50)
20:01:28 × wroathe quits (~wroathe@50.205.197.50) (Changing host)
20:01:28 → wroathe joins (~wroathe@user/wroathe)
20:02:16 × target_i quits (~target_i@217.175.14.39) (Quit: leaving)
20:11:38 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
20:17:04 → khumba joins (~khumba@user/khumba)
20:17:31 × Ashkan quits (~Ashkan@147.161.173.72) (Quit: Client closed)
20:19:46 × wroathe quits (~wroathe@user/wroathe) (Quit: leaving)
20:22:54 × waldo quits (~waldo@user/waldo) (Ping timeout: 260 seconds)
20:27:03 × merrinx quits (~user@2001:4640:b7b9:0:12da:fc10:e9ef:c6f7) (Remote host closed the connection)
20:46:49 × Fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Remote host closed the connection)
20:47:01 → Fansly joins (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
20:49:53 → Sgeo joins (~Sgeo@user/sgeo)
20:51:42 × billchenchina quits (~billchenc@103.152.35.21) (Quit: Leaving)
20:52:45 → greenbagels joins (~gb@user/greenbagels)
21:07:07 → coot joins (~coot@89-69-206-216.dynamic.chello.pl)
21:08:56 Fansly is now known as fansly
21:12:54 × fansly quits (~Fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Quit: Quit)
21:13:04 → fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
21:15:07 × _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
21:16:40 × fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Client Quit)
21:16:51 → fansly joins (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f)
21:19:47 × td_ quits (~td@i5387093B.versanet.de) (Ping timeout: 264 seconds)
21:25:58 → jmdaemon joins (~jmdaemon@user/jmdaemon)
21:28:04 × fansly quits (~fansly@2001:448a:2010:476e:5d30:627d:73c3:a75f) (Ping timeout: 246 seconds)
21:28:14 → fansly joins (~fansly@182.0.241.41)
21:30:40 → Square joins (~Square@user/square)
21:36:35 → td_ joins (~td@i53870935.versanet.de)
21:37:17 × xdminsy quits (~xdminsy@117.147.71.169) (Ping timeout: 240 seconds)
21:50:04 → mikess joins (~mikess@user/mikess)
21:55:42 × fansly quits (~fansly@182.0.241.41) (Remote host closed the connection)
21:58:17 → mechap joins (~mechap@user/mechap)
22:04:14 → alp_ joins (~alp@2001:861:e3d6:8f80:9aa9:8fae:2639:38a4)
22:05:42 × khumba quits (~khumba@user/khumba) ()
22:09:24 × igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.1.2)
22:29:28 → szkl joins (uid110435@id-110435.uxbridge.irccloud.com)
22:32:46 × todi1 quits (~todi@p4fd1a54c.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
22:37:21 → [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470)
22:41:30 × [_] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds)
22:41:55 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:45:57 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:50:14 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
23:01:29 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
23:06:01 → wootehfoot joins (~wootehfoo@user/wootehfoot)
23:08:56 → machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net)
23:10:50 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
23:11:52 × coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
23:19:08 × oo_miguel quits (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Remote host closed the connection)
23:19:27 → oo_miguel joins (~Thunderbi@78-11-179-96.static.ip.netia.com.pl)
23:21:19 → bilegeek joins (~bilegeek@2600:1008:b0a0:2318:7ae9:9d3f:8c6c:2dd7)
23:34:54 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
23:43:16 × trev quits (~trev@user/trev) (Quit: trev)
23:59:12 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)

All times are in UTC on 2024-01-06.