2024/04/26

2024-04-26 00:04:19 +0200Achylles(~Achylles@45.182.57.9)
2024-04-26 00:04:27 +0200demesne(~demesne@50.35.88.207)
2024-04-26 00:05:32 +0200Achylles(~Achylles@45.182.57.9) (Read error: Connection reset by peer)
2024-04-26 00:06:03 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 00:06:47 +0200demesne(~demesne@50.35.88.207) (Remote host closed the connection)
2024-04-26 00:07:18 +0200demesne(~demesne@50.35.88.207)
2024-04-26 00:10:57 +0200demesne(~demesne@50.35.88.207) (Remote host closed the connection)
2024-04-26 00:12:36 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 00:15:58 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2024-04-26 00:16:00 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-04-26 00:16:06 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-04-26 00:16:49 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2024-04-26 00:17:39 +0200gmg(~user@user/gehmehgeh)
2024-04-26 00:18:33 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-26 00:20:45 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 245 seconds)
2024-04-26 00:26:00 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 00:28:32 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-04-26 00:29:45 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef)
2024-04-26 00:37:15 +0200waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)
2024-04-26 00:39:59 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-04-26 00:40:47 +0200acidjnk(~acidjnk@p200300d6e714dc7109d5fea24ae1df5e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2024-04-26 00:41:23 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-04-26 00:41:35 +0200peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds)
2024-04-26 00:41:41 +0200waldo(~waldo@user/waldo)
2024-04-26 00:42:07 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds)
2024-04-26 00:42:15 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-04-26 00:52:22 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) (Ping timeout: 268 seconds)
2024-04-26 00:53:40 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 245 seconds)
2024-04-26 00:54:37 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2024-04-26 00:57:25 +0200Inst_(~Inst@user/Inst)
2024-04-26 00:58:26 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 256 seconds)
2024-04-26 00:59:39 +0200Inst(~Inst@user/Inst) (Read error: Connection reset by peer)
2024-04-26 01:01:51 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Remote host closed the connection)
2024-04-26 01:02:52 +0200emergence(emergence@vm0.max-p.me)
2024-04-26 01:02:58 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds)
2024-04-26 01:06:25 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef)
2024-04-26 01:07:34 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 01:11:55 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 260 seconds)
2024-04-26 01:12:29 +0200mima(~mmh@aftr-62-216-211-38.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
2024-04-26 01:13:43 +0200tcard_(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving)
2024-04-26 01:14:04 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-04-26 01:14:24 +0200liamzy__(~Inst@user/Inst)
2024-04-26 01:15:34 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-04-26 01:16:50 +0200Inst_(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-04-26 01:17:29 +0200phma(~phma@2001:5b0:212a:83b8:81d8:7229:2d03:5112) (Read error: Connection reset by peer)
2024-04-26 01:18:14 +0200emergence(emergence@vm0.max-p.me) (Read error: Connection reset by peer)
2024-04-26 01:18:30 +0200phma(phma@2001:5b0:210f:2ed8:1686:9f1d:3773:c78f)
2024-04-26 01:18:44 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2024-04-26 01:20:14 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-04-26 01:20:32 +0200yin(~yin@user/zero) (Ping timeout: 256 seconds)
2024-04-26 01:23:15 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Client Quit)
2024-04-26 01:23:48 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 01:25:06 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com)
2024-04-26 01:41:35 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 245 seconds)
2024-04-26 01:47:17 +0200philopsos(~caecilius@user/philopsos)
2024-04-26 01:50:31 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 02:04:09 +0200waldo(~waldo@user/waldo) (Ping timeout: 252 seconds)
2024-04-26 02:04:42 +0200waldo(~waldo@user/waldo)
2024-04-26 02:12:36 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 255 seconds)
2024-04-26 02:15:35 +0200driib(~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds)
2024-04-26 02:18:20 +0200wroathe(~wroathe@24-152-179-157.fttp.usinternet.com)
2024-04-26 02:18:20 +0200wroathe(~wroathe@24-152-179-157.fttp.usinternet.com) (Changing host)
2024-04-26 02:18:20 +0200wroathe(~wroathe@user/wroathe)
2024-04-26 02:21:13 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2024-04-26 02:21:21 +0200wroathe(~wroathe@user/wroathe) (Client Quit)
2024-04-26 02:23:29 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 02:25:03 +0200driib(~driib@vmi931078.contaboserver.net)
2024-04-26 02:25:18 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection)
2024-04-26 02:25:32 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-04-26 02:30:25 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 268 seconds)
2024-04-26 02:33:09 +0200xff0x(~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) (Read error: Connection reset by peer)
2024-04-26 02:37:49 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-04-26 02:38:13 +0200xff0x(~xff0x@2405:6580:b080:900:83cb:90d7:e988:de63)
2024-04-26 02:38:34 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 02:43:05 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 02:45:29 +0200mei(~mei@user/mei)
2024-04-26 02:54:21 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 02:58:40 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2024-04-26 02:59:00 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-04-26 03:04:36 +0200xal(~xal@mx1.xal.systems) ()
2024-04-26 03:05:04 +0200xal(~xal@mx1.xal.systems)
2024-04-26 03:05:34 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 268 seconds)
2024-04-26 03:06:22 +0200euleritian(~euleritia@dynamic-176-006-187-024.176.6.pool.telefonica.de)
2024-04-26 03:15:45 +0200k_hachig2(~k_hachig@2607:fea8:351d:ef0:44fc:138:83ed:493e)
2024-04-26 03:15:48 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) (Ping timeout: 260 seconds)
2024-04-26 03:18:30 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-04-26 03:18:52 +0200califax(~califax@user/califx)
2024-04-26 03:18:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds)
2024-04-26 03:19:54 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds)
2024-04-26 03:21:12 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-04-26 03:21:28 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds)
2024-04-26 03:21:39 +0200xff0x(~xff0x@2405:6580:b080:900:83cb:90d7:e988:de63) (Ping timeout: 260 seconds)
2024-04-26 03:23:48 +0200euleritian(~euleritia@dynamic-176-006-187-024.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-26 03:24:01 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 03:26:14 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-26 03:28:18 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 252 seconds)
2024-04-26 03:28:23 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-04-26 03:28:50 +0200aforemny(~aforemny@i59F516E4.versanet.de) (Ping timeout: 252 seconds)
2024-04-26 03:28:59 +0200califax(~califax@user/califx)
2024-04-26 03:32:04 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2024-04-26 03:33:40 +0200otto_s(~user@p5b04436d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2024-04-26 03:35:29 +0200aforemny(~aforemny@i59F516C6.versanet.de)
2024-04-26 03:35:45 +0200otto_s(~user@p5b044b31.dip0.t-ipconnect.de)
2024-04-26 03:37:06 +0200waldo(~waldo@user/waldo) (Ping timeout: 256 seconds)
2024-04-26 03:42:33 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 03:51:01 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2024-04-26 03:56:11 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 260 seconds)
2024-04-26 03:59:17 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 04:01:25 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 04:03:44 +0200jocke-l(jocke-l@a.x0.is) (Ping timeout: 256 seconds)
2024-04-26 04:03:50 +0200mei(~mei@user/mei)
2024-04-26 04:08:59 +0200peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds)
2024-04-26 04:12:50 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 252 seconds)
2024-04-26 04:13:30 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-04-26 04:13:47 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 04:14:25 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:7060:d72d:2b43:1742)
2024-04-26 04:14:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-04-26 04:15:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-04-26 04:17:25 +0200k_hachig2(~k_hachig@2607:fea8:351d:ef0:44fc:138:83ed:493e) (Ping timeout: 256 seconds)
2024-04-26 04:21:45 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-04-26 04:27:42 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 252 seconds)
2024-04-26 04:29:30 +0200totalghost(~ghost@172-105-178-131.ip.linodeusercontent.com) (Quit: Lost terminal)
2024-04-26 04:31:12 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 04:32:09 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds)
2024-04-26 04:32:28 +0200hueso(~root@user/hueso) (Quit: hueso)
2024-04-26 04:33:28 +0200td_(~td@i5387092A.versanet.de) (Ping timeout: 255 seconds)
2024-04-26 04:33:49 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-04-26 04:35:06 +0200td_(~td@i53870921.versanet.de)
2024-04-26 04:38:23 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 264 seconds)
2024-04-26 04:41:51 +0200hueso(~root@user/hueso)
2024-04-26 04:42:00 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 04:45:58 +0200jocke-l(jocke-l@a.x0.is)
2024-04-26 04:49:08 +0200k_hachig(~k_hachig@2607:fea8:351d:ef0:7060:d72d:2b43:1742) (Quit: WeeChat 4.2.2)
2024-04-26 05:07:46 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2024-04-26 05:11:08 +0200aforemny_(~aforemny@2001:9e8:6cf4:e200:c321:623a:48be:28f1)
2024-04-26 05:11:11 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-04-26 05:12:14 +0200aforemny(~aforemny@i59F516C6.versanet.de) (Ping timeout: 252 seconds)
2024-04-26 05:16:41 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 05:27:05 +0200liamzy__(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-04-26 05:58:37 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2024-04-26 06:02:42 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2024-04-26 06:08:34 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-26 06:22:41 +0200michalz(~michalz@185.246.207.217)
2024-04-26 06:24:45 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-04-26 06:29:30 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds)
2024-04-26 06:30:41 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2024-04-26 06:31:28 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2024-04-26 06:34:49 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-26 06:55:05 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!)
2024-04-26 06:56:19 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-04-26 06:57:13 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-04-26 07:00:26 +0200peterbecich(~Thunderbi@47.229.123.186) (Quit: peterbecich)
2024-04-26 07:00:55 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-26 07:08:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-04-26 07:12:42 +0200Rodney_(~Rodney@176.254.244.83) (Ping timeout: 252 seconds)
2024-04-26 07:14:34 +0200euleritian(~euleritia@212.144.241.187) (Read error: Connection reset by peer)
2024-04-26 07:14:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2024-04-26 07:15:49 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 07:27:31 +0200gorignak(~gorignak@user/gorignak)
2024-04-26 07:30:05 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-04-26 07:37:19 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 256 seconds)
2024-04-26 07:37:56 +0200peterbecich(~Thunderbi@47.229.123.186) (Ping timeout: 256 seconds)
2024-04-26 07:42:33 +0200Rodney_(~Rodney@176.254.244.83)
2024-04-26 07:44:42 +0200euleritian(~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de)
2024-04-26 07:49:24 +0200causal(~eric@50.35.88.207) (Quit: WeeChat 4.1.1)
2024-04-26 07:52:39 +0200euleritian(~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-04-26 07:53:05 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 07:59:12 +0200acidjnk(~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de)
2024-04-26 08:03:19 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 08:05:32 +0200EvanR(~EvanR@user/evanr) (Remote host closed the connection)
2024-04-26 08:05:56 +0200EvanR(~EvanR@user/evanr)
2024-04-26 08:15:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 08:16:25 +0200xdminsy(~xdminsy@117.147.70.233) (Ping timeout: 246 seconds)
2024-04-26 08:17:26 +0200xdminsy(~xdminsy@117.147.70.233)
2024-04-26 08:19:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 08:20:35 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2024-04-26 08:20:51 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-04-26 08:21:00 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 08:25:20 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds)
2024-04-26 08:32:12 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 260 seconds)
2024-04-26 08:32:22 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer)
2024-04-26 08:32:47 +0200euleritian(~euleritia@212.144.241.187)
2024-04-26 08:38:48 +0200vpan(~vpan@212.117.1.172)
2024-04-26 08:39:55 +0200Square(~Square@user/square)
2024-04-26 08:44:19 +0200euleritian(~euleritia@212.144.241.187) (Ping timeout: 256 seconds)
2024-04-26 08:47:41 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-04-26 08:48:54 +0200euleritian(~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de)
2024-04-26 08:49:43 +0200kimiamania(~76637481@user/kimiamania) (Quit: PegeLinux)
2024-04-26 08:50:39 +0200kimiamania(~76637481@user/kimiamania)
2024-04-26 08:51:07 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz)
2024-04-26 08:59:53 +0200mima(~mmh@aftr-62-216-211-229.dynamic.mnet-online.de)
2024-04-26 09:18:21 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-04-26 09:28:46 +0200ft(~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving)
2024-04-26 09:29:34 +0200gmg(~user@user/gehmehgeh)
2024-04-26 09:35:45 +0200son0p(~ff@191.104.18.195) (Ping timeout: 245 seconds)
2024-04-26 09:39:52 +0200y04nn(~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds)
2024-04-26 09:44:54 +0200sawilagar(~sawilagar@user/sawilagar)
2024-04-26 09:59:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-04-26 10:04:05 +0200lol_(~lol@2603:3016:1e01:b940:500c:2d35:d29f:521d) (Ping timeout: 245 seconds)
2024-04-26 10:05:25 +0200jcarpenter2(~lol@2603:3016:1e01:b940:2575:1903:5fc2:ed7c)
2024-04-26 10:09:37 +0200driib(~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds)
2024-04-26 10:11:24 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-04-26 10:20:45 +0200AlexZenon(~alzenon@178.34.161.189) (Ping timeout: 245 seconds)
2024-04-26 10:21:06 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-04-26 10:25:39 +0200AlexZenon(~alzenon@178.34.161.189)
2024-04-26 10:28:25 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2024-04-26 10:33:54 +0200waldo(~waldo@user/waldo)
2024-04-26 10:38:56 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-04-26 10:58:33 +0200waldo(~waldo@user/waldo) (Ping timeout: 268 seconds)
2024-04-26 11:04:34 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 11:06:59 +0200mei(~mei@user/mei)
2024-04-26 11:07:48 +0200__monty__(~toonn@user/toonn)
2024-04-26 11:15:50 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer)
2024-04-26 11:16:28 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-04-26 11:21:11 +0200waldo(~waldo@user/waldo)
2024-04-26 11:22:20 +0200waldo(~waldo@user/waldo) (Client Quit)
2024-04-26 11:22:50 +0200anon1123_anon8697
2024-04-26 11:40:31 +0200Square(~Square@user/square) (Ping timeout: 260 seconds)
2024-04-26 11:45:27 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 255 seconds)
2024-04-26 11:47:48 +0200 <carbolymer> which API do you prefer, 1 or 2? https://paste.tomsmeding.com/qxFouHyR
2024-04-26 11:47:48 +0200forell(~forell@user/forell)
2024-04-26 11:48:46 +0200 <ncf> 2 is extensible
2024-04-26 11:49:25 +0200 <carbolymer> fair point
2024-04-26 11:49:42 +0200 <Rembane> I prefer number 2, it contains more words and not just a bundle of IO operations.
2024-04-26 11:51:32 +0200 <Hecate> carbolymer: is 2 just like… accessors?
2024-04-26 11:52:38 +0200 <carbolymer> can you call changing the state, an accessor?
2024-04-26 11:53:55 +0200 <[Leary]> carbolymer: 3: `do { Tripwire{trigger,check} <- mkTripwire; ... }`
2024-04-26 11:54:34 +0200 <carbolymer> [Leary]: oh that's a nice idea
2024-04-26 11:57:18 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer)
2024-04-26 11:57:35 +0200destituion(~destituio@85.221.111.174)
2024-04-26 11:57:48 +0200yin(~yin@user/zero)
2024-04-26 11:59:42 +0200 <tomsmeding> definitely 2
2024-04-26 12:01:21 +0200 <Rembane> If you wanna go really spicy you can replace IO with some monad that looks like IO to make it possible to test stuff in a pure fashion.
2024-04-26 12:04:11 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
2024-04-26 12:04:37 +0200 <carbolymer> that'd be an overkil for this
2024-04-26 12:04:43 +0200 <carbolymer> thanks everyone
2024-04-26 12:04:51 +0200 <carbolymer> I'll go with nr 2
2024-04-26 12:08:26 +0200 <Rembane> Sounds good. I'm always trudging around in the testing swamps, which is why I see these things everywhere.
2024-04-26 12:14:39 +0200titibandit(~titibandi@user/titibandit)
2024-04-26 12:20:03 +0200chele(~chele@user/chele)
2024-04-26 12:34:30 +0200danza(~francesco@an-19-186-120.service.infuturo.it)
2024-04-26 12:37:50 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2024-04-26 12:43:16 +0200acidjnk(~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-04-26 12:47:49 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2024-04-26 12:48:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-04-26 12:50:44 +0200Lord_of_Life_Lord_of_Life
2024-04-26 12:54:07 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-04-26 12:55:06 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-04-26 12:58:43 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-04-26 13:05:44 +0200yin_(~yin@user/zero)
2024-04-26 13:11:08 +0200pyooque(~puke@user/puke)
2024-04-26 13:11:08 +0200pukeGuest3456
2024-04-26 13:11:08 +0200Guest3456(~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services)))
2024-04-26 13:11:08 +0200pyooquepuke
2024-04-26 13:18:15 +0200yin(~yin@user/zero) (Ping timeout: 245 seconds)
2024-04-26 13:19:37 +0200yin(~yin@user/zero)
2024-04-26 13:22:31 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-04-26 13:22:51 +0200nij-(~NPC@c-73-238-75-2.hsd1.ma.comcast.net)
2024-04-26 13:23:18 +0200 <nij-> Why isn't getLine of type `IO () -> String`, but rather `IO String`?
2024-04-26 13:23:38 +0200 <nij-> How do I make whatever getLine returns into a datum of type String?
2024-04-26 13:23:56 +0200 <geekosaur> `getLine` is not a `String`, it is a program that when run may produce a `String`
2024-04-26 13:24:06 +0200 <geekosaur> @quote /bin/ls
2024-04-26 13:24:06 +0200 <lambdabot> shachaf says: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files
2024-04-26 13:25:51 +0200 <geekosaur> and if you want access to the `String` if and when it is produced, you use `>>=` (or write using `do` notation, which does the `>>=` for you)
2024-04-26 13:26:48 +0200 <nij-> Hmm but I will never get a pure String.. you mean?
2024-04-26 13:27:07 +0200 <nij-> because a single monad m cannot be removed.
2024-04-26 13:27:16 +0200 <int-e> But you can pass it to pure functions from within IO
2024-04-26 13:27:16 +0200 <nij-> i.e. mmx -> mx is possible
2024-04-26 13:27:20 +0200 <nij-> but mx -> x is not.
2024-04-26 13:27:37 +0200 <geekosaur> it's possible temporarily, but you hav e to put it back when you're done
2024-04-26 13:27:38 +0200 <int-e> :t fmap
2024-04-26 13:27:39 +0200 <lambdabot> Functor f => (a -> b) -> f a -> f b
2024-04-26 13:27:41 +0200 <geekosaur> :t (>>=)
2024-04-26 13:27:42 +0200 <lambdabot> Monad m => m a -> (a -> m b) -> m b
2024-04-26 13:27:44 +0200 <nij-> int-e Right, but my whole program, since the introduction of getLn, will be "impure" in this sense?
2024-04-26 13:27:58 +0200 <int-e> yes it will be
2024-04-26 13:27:58 +0200 <geekosaur> it is anyway, since `main :: IO a`
2024-04-26 13:28:06 +0200 <nij-> ok
2024-04-26 13:28:26 +0200 <nij-> So the idea is to write pure functions all the way down, and have the "dirty" elements only for stdio
2024-04-26 13:28:28 +0200 <nij-> ?
2024-04-26 13:28:36 +0200 <int-e> :t interact
2024-04-26 13:28:37 +0200 <lambdabot> (String -> String) -> IO ()
2024-04-26 13:28:49 +0200 <geekosaur> roughly yes
2024-04-26 13:28:57 +0200 <int-e> (you can make main = interact main' and then main' :: String -> String can actually be pure)
2024-04-26 13:29:12 +0200 <geekosaur> pure functions are easier to work with, but useful programs are impure
2024-04-26 13:29:15 +0200 <nij-> If I really want, can I write a function of type IO String -> String, that
2024-04-26 13:29:27 +0200 <int-e> (Is that a good idea? Not if you want more interesting effects but `interact` is lovely for simple trext processing.)
2024-04-26 13:29:29 +0200 <nij-> if read correctly, return the string, if not, return "LOL"
2024-04-26 13:29:54 +0200 <ncf> that wouldn't be pure
2024-04-26 13:29:56 +0200 <geekosaur> there's a way to do it, but it won't do what you expect
2024-04-26 13:30:11 +0200 <int-e> :t const "LOL"
2024-04-26 13:30:11 +0200 <lambdabot> b -> [Char]
2024-04-26 13:30:12 +0200 <nij-> ncf Why not?
2024-04-26 13:30:26 +0200 <nij-> geekosaur Yeah, right. I'm just curious how to do that.
2024-04-26 13:30:35 +0200 <ncf> "reading successfully" is not a property of an IO String. it's a property of running that action
2024-04-26 13:31:04 +0200 <int-e> To be pure, foo getLine would have to return the same result every time it's evaluated.
2024-04-26 13:31:07 +0200 <nij-> Ok.. how about. If it's read to be "A", return "A"; otherwise, return "LOL"?
2024-04-26 13:31:54 +0200 <ncf> the pure result of type String cannot depend on what running the action does
2024-04-26 13:32:03 +0200 <nij-> Hmm I see. Then I make it weaker: make the function whose "final type" is the pure String.
2024-04-26 13:32:05 +0200 <int-e> We have `unsafePerformIO` and the name is not a joke.
2024-04-26 13:32:48 +0200 <ncf> nij-: isn't that what you wrote earlier?
2024-04-26 13:32:50 +0200 <int-e> The right way is to start within IO and then pass values (like the string that `getLine` produces) into pure functions.
2024-04-26 13:33:14 +0200 <tomsmeding> the idea of IO is that it is "viral": any computation that is impure (e.g. because it has side-effects, or does not always return the same thing, etc.) is in IO, and anything that _uses_ any of that is hence also in IO
2024-04-26 13:33:56 +0200 <tomsmeding> a traditional design for programming in haskell is to write most of your program without IO, and to have a relatively small outside layer that does IO and calls into the pure logic inside to do the actual, well, logic
2024-04-26 13:34:02 +0200 <tomsmeding> ("functional core, imperative shell")
2024-04-26 13:34:27 +0200 <tomsmeding> there are various ways to make this more nuanced, e.g. with effect systems, but the basic idea is still a sound way to construct purely functional programs
2024-04-26 13:34:55 +0200 <tomsmeding> so indeed, as soon as you use getLine, anything that calls that will live in IO
2024-04-26 13:35:29 +0200 <tomsmeding> but that doesn't mean that you cannot write a 'foo :: String -> Whatever' function that uses the result, and then at the top level, have 'do { line <- getLine ; print (foo line) }'
2024-04-26 13:35:37 +0200 <tomsmeding> this implicitly uses (>>=)
2024-04-26 13:36:03 +0200 <tomsmeding> (removing the syntactic sugar ("desugared"), that would be 'getLine >>= \line -> print (foo line)')
2024-04-26 13:36:34 +0200 <tomsmeding> the upshot of it all is that a function that returns a non-IO value will hence be pure and always return the same thing without side effects!
2024-04-26 13:36:37 +0200 <tomsmeding> and that's the big win
2024-04-26 13:37:38 +0200 <tomsmeding> (unless you use something like unsafePerformIO, but then it's on you to maintain that promise, and woe you if you don't -- it's called "unsafe" for a reason)
2024-04-26 13:38:07 +0200 <tomsmeding> (using unsafePerformIO correctly is quite tricky and essentially requires knowing something about GHC's internals)
2024-04-26 13:39:53 +0200 <int-e> . o O ( imagine a T-shirt saying "ask me about `unsaferPerformIO` inside `atomically`" )
2024-04-26 13:40:04 +0200 <nij-> I see. Thanks!
2024-04-26 13:40:06 +0200 <nij-> Hmm
2024-04-26 13:40:19 +0200 <nij-> Unless, the function is IO String -> String, which always returns a constant?
2024-04-26 13:40:34 +0200 <nij-> s/a constant/a predefined constant/
2024-04-26 13:40:38 +0200 <tomsmeding> the only way to implement that function (apart from using unsafePerformIO) is to return a constant
2024-04-26 13:40:46 +0200 <nij-> I see. Thanks a lot!
2024-04-26 13:41:06 +0200 <tomsmeding> and apart from breaking open the internals of the IO data type (yes, it's a data type) and doing things that are even more unsafe than unsafePerformIO
2024-04-26 13:42:47 +0200 <nij-> Interesting.
2024-04-26 13:43:27 +0200ncf. o O ( unsafeCoerce )
2024-04-26 13:44:42 +0200 <tomsmeding> yeah there are more backdoors
2024-04-26 13:45:13 +0200 <tomsmeding> you can also pass through a FFI function mistagged as non-IO
2024-04-26 13:45:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 13:45:29 +0200 <tomsmeding> I feel like that does not make my general claim any less true :p
2024-04-26 13:45:53 +0200 <nij-> Just wondering,
2024-04-26 13:45:59 +0200 <nij-> monads are functors with structures
2024-04-26 13:46:15 +0200 <nij-> Are there pairs of functors that satisfy some algebraic relations like this too?
2024-04-26 13:46:22 +0200 <int-e> @quote burrito
2024-04-26 13:46:22 +0200 <lambdabot> xplat says: monads are to burritos as distributive laws are to pepto-bismol
2024-04-26 13:48:07 +0200 <ncf> adjunctions come to mind
2024-04-26 13:48:55 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 13:49:26 +0200 <nij-> ncf any interesting and useful adjunctions in haskell?
2024-04-26 13:49:37 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2024-04-26 13:49:47 +0200zer0bitz(~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi)
2024-04-26 13:50:05 +0200 <ncf> (,) a ⊣ (->) a
2024-04-26 13:50:17 +0200 <ncf> :t (curry, uncurry)
2024-04-26 13:50:18 +0200 <lambdabot> (((a1, b1) -> c1) -> a1 -> b1 -> c1, (a2 -> b2 -> c2) -> (a2, b2) -> c2)
2024-04-26 13:51:08 +0200 <ncf> you can make a State monad out of this!
2024-04-26 13:51:18 +0200 <ncf> (and a Store comonad)
2024-04-26 13:52:27 +0200 <nij-> hmm.. im not looking for functions that have algebraic relations, but functors.
2024-04-26 13:52:35 +0200 <nij-> multiple (i.e. more than 1) functors
2024-04-26 13:53:13 +0200 <ncf> well, (,) a and (->) a are the functors here
2024-04-26 13:53:31 +0200 <ncf> relations between functors are bound to involve types and functions
2024-04-26 13:54:48 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2024-04-26 13:55:41 +0200 <nij-> I don't know about these two functors.. wow.
2024-04-26 13:55:54 +0200 <nij-> What are them? They aren't composed with eng chars so too hard to find with google.
2024-04-26 13:57:33 +0200glguy(g@libera/staff/glguy) (Read error: Connection reset by peer)
2024-04-26 13:58:17 +0200 <ncf> (,) a b is (a, b) (pair type) and (->) a b is a -> b (function type)
2024-04-26 13:58:47 +0200 <nij-> I see. In math this is just x and ->.
2024-04-26 13:58:56 +0200 <tomsmeding> well, a x - and a -> -
2024-04-26 13:58:57 +0200 <nij-> Delaying evaluation, or (un)currying
2024-04-26 13:59:12 +0200 <nij-> hom tensor adjunction
2024-04-26 13:59:38 +0200 <nij-> Any other .. that's useful, and particularly only "works in CompSci"?
2024-04-26 13:59:43 +0200Square(~Square@user/square)
2024-04-26 14:00:53 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-04-26 14:01:14 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 14:01:54 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-04-26 14:01:59 +0200 <ncf> not sure what you mean by that
2024-04-26 14:02:25 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-04-26 14:03:27 +0200 <nij-> Hmm.. I'm just trying out my luck to see if we have more intereting adjunctions. And since ,-> adjunctions show up elsewhere, my curiousity doesn't stop here :D
2024-04-26 14:04:07 +0200fedir(~fedir@188.191.238.23)
2024-04-26 14:04:26 +0200tomsmedingwrites lots of haskell code, including interesting type trickery, without properly knowing what an adjunction is
2024-04-26 14:05:53 +0200 <nij-> tomsmeding Yeah, I'm just curious xD
2024-04-26 14:06:02 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-04-26 14:06:05 +0200acidjnk(~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de)
2024-04-26 14:06:33 +0200 <jackdk> Near as I can tell from https://hackage.haskell.org/package/adjunctions-4.4.2/docs/Data-Functor-Adjunction.html , it's just (r,) and (r ->), and various lifting instances
2024-04-26 14:07:15 +0200 <ncf> yeah adjunctions between hask and hask are not immensely interesting
2024-04-26 14:07:39 +0200 <jackdk> the Representable superclass is good fun though
2024-04-26 14:08:12 +0200mei(~mei@user/mei)
2024-04-26 14:08:33 +0200 <nij-> In math point of view, the functors F and G are adjoint (i.e. form an adjunction pair) if they are "invertible" to each other "up to 2-functors (i.e. functors between functors)" .
2024-04-26 14:08:47 +0200 <ncf> but e.g. the free monoid functor [] can be seen as a left adjoint to the forgetful functor from the category of monoids to the category of sets (or hask)
2024-04-26 14:08:54 +0200 <nij-> Anyway, it's a very natural generalization of inverse functors.
2024-04-26 14:09:24 +0200 <nij-> ncf Oh right, those too!
2024-04-26 14:09:24 +0200 <ncf> up to 2-morphisms*
2024-04-26 14:09:42 +0200 <nij-> structuralizing and forgetting pair
2024-04-26 14:10:06 +0200 <nij-> (Yeah.. ncf, I just think 2-mors are too much a jargon for this channel.)
2024-04-26 14:10:17 +0200xff0x(~xff0x@2405:6580:b080:900:a359:eeea:f982:7525)
2024-04-26 14:10:26 +0200 <fedir> What's wrong?https://i.imgur.com/0LoCDJt.png
2024-04-26 14:10:28 +0200 <ncf> better than incorrect jargon!
2024-04-26 14:10:53 +0200 <ncf> fedir: use :{ and :} to delimit multi-line definitions in ghci
2024-04-26 14:11:09 +0200 <ncf> or semicolons
2024-04-26 14:11:24 +0200 <geekosaur> fedir, ghci doesn't know how to group the defining equations together by itself, as ncf says you must put them on one line or use :{ :} to group them
2024-04-26 14:11:29 +0200nij-(~NPC@c-73-238-75-2.hsd1.ma.comcast.net) (Using Circe, the loveliest of all IRC clients)
2024-04-26 14:11:51 +0200 <fedir> Thanks!
2024-04-26 14:16:51 +0200fedir(~fedir@188.191.238.23) (Quit: fedir)
2024-04-26 14:25:31 +0200zer0bitz(~zer0bitz@user/zer0bitz)
2024-04-26 14:30:19 +0200tinjamin(~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat)
2024-04-26 14:31:33 +0200tinjamin(~tinjamin@banshee.h4x0r.space)
2024-04-26 14:33:27 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 14:37:49 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds)
2024-04-26 14:48:31 +0200danza_(~francesco@an-19-169-90.service.infuturo.it)
2024-04-26 14:50:52 +0200danza(~francesco@an-19-186-120.service.infuturo.it) (Ping timeout: 246 seconds)
2024-04-26 14:55:21 +0200auri(~auri@fsf/member/auri) (Ping timeout: 268 seconds)
2024-04-26 14:55:29 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1) (Ping timeout: 256 seconds)
2024-04-26 14:57:49 +0200kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds)
2024-04-26 15:04:06 +0200fedir(~fedir@188.191.238.23)
2024-04-26 15:04:52 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1)
2024-04-26 15:05:06 +0200auri(~auri@fsf/member/auri)
2024-04-26 15:12:37 +0200danza_(~francesco@an-19-169-90.service.infuturo.it) (Ping timeout: 268 seconds)
2024-04-26 15:19:33 +0200Inst(~Inst@user/Inst)
2024-04-26 15:19:35 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 15:21:35 +0200ystael(~ystael@user/ystael)
2024-04-26 15:27:09 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2024-04-26 15:29:34 +0200destituion(~destituio@85.221.111.174) (Ping timeout: 255 seconds)
2024-04-26 15:33:27 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1)
2024-04-26 15:45:06 +0200glguy(g@libera/staff/glguy)
2024-04-26 15:49:40 +0200fozworth(~taylor@47.187.212.21)
2024-04-26 15:51:01 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-04-26 15:52:26 +0200igemnace(~igemnace@user/igemnace)
2024-04-26 15:53:13 +0200ft(~ft@p4fc2a20e.dip0.t-ipconnect.de)
2024-04-26 15:59:41 +0200igemnace(~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)
2024-04-26 16:00:12 +0200Sgeo(~Sgeo@user/sgeo)
2024-04-26 16:02:57 +0200pavonia(~user@user/siracusa)
2024-04-26 16:06:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 16:09:31 +0200igemnace(~igemnace@user/igemnace)
2024-04-26 16:17:12 +0200fedir(~fedir@188.191.238.23) (Quit: fedir)
2024-04-26 16:18:11 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-26 16:19:31 +0200hueso(~root@user/hueso) (Quit: hueso)
2024-04-26 16:23:57 +0200hueso(~root@user/hueso)
2024-04-26 16:26:29 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2024-04-26 16:30:14 +0200 <yin> just use ghcid tbh
2024-04-26 16:31:50 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-04-26 16:32:43 +0200 <yin> ghcid --warnings --no-status --run --clear --no-height-limit myfile.hs
2024-04-26 16:34:19 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-04-26 16:43:17 +0200euleritian(~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) (Ping timeout: 240 seconds)
2024-04-26 16:45:18 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net)
2024-04-26 16:50:54 +0200fedir(~fedir@188.191.238.23)
2024-04-26 16:51:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 16:58:41 +0200yin_(~yin@user/zero) (Ping timeout: 268 seconds)
2024-04-26 17:08:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 17:10:34 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds)
2024-04-26 17:11:34 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-04-26 17:11:42 +0200fedir(~fedir@188.191.238.23) (Quit: Leaving)
2024-04-26 17:12:15 +0200fkv24(~fkv24@188.191.238.23)
2024-04-26 17:17:54 +0200 <ski> @quote /bin/ls
2024-04-26 17:17:54 +0200 <lambdabot> shachaf says: getLine :: IO String contains a String in the same way that /bin/ls contains a list of files
2024-04-26 17:20:11 +0200fkv24(~fkv24@188.191.238.23) (Quit: fkv24)
2024-04-26 17:23:28 +0200 <tomsmeding> that quote was indeed referenced :)
2024-04-26 17:24:09 +0200 <EvanR> it's crazy how they can fit so many lists of files in /bin/ls
2024-04-26 17:24:16 +0200 <EvanR> serious compression tech
2024-04-26 17:25:21 +0200 <ncf> on some OSes they're actually stored on your filesystem directly
2024-04-26 17:25:34 +0200 <tomsmeding> have you considered how many integers are in 'Integer -> Integer'
2024-04-26 17:32:12 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 17:32:49 +0200chele(~chele@user/chele) (Remote host closed the connection)
2024-04-26 17:33:08 +0200 <Inst> this is dumb
2024-04-26 17:33:16 +0200 <Inst> my cell phone is almost out of battery, it's been lost
2024-04-26 17:33:26 +0200 <Inst> welp, wrong channel, sorry
2024-04-26 17:33:37 +0200 <EvanR> probably for the best
2024-04-26 17:33:56 +0200 <EvanR> between traffic accidents and misinformation and serious lack of haskell, phones suck
2024-04-26 17:34:54 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-04-26 17:36:02 +0200 <Inst> EvanR: the situation is ridiculous, I'm trying to figure out how to hack into my phone via the VPS app to turn on Find My and location services so I can call the police on the taxi driver who ran off with my phone
2024-04-26 17:36:14 +0200fkv24(~fkv24@188.191.238.23)
2024-04-26 17:36:58 +0200 <EvanR> there was an article recently about 2FA and how to recover from losing your phone
2024-04-26 17:37:10 +0200 <EvanR> which is often one way or another the way you authenticate
2024-04-26 17:37:58 +0200 <Inst> i'm pissed off because i'm calling the phone once in a while to turn it on, then ss -t on my VPN server
2024-04-26 17:38:03 +0200 <Inst> and geolocating my IP
2024-04-26 17:38:11 +0200fkv24(~fkv24@188.191.238.23) (Remote host closed the connection)
2024-04-26 17:38:28 +0200fkv24(~fkv24@188.191.238.23)
2024-04-26 17:38:33 +0200fkv24(~fkv24@188.191.238.23) (Remote host closed the connection)
2024-04-26 17:40:14 +0200fkv24(~fkv24@188.191.238.23)
2024-04-26 17:55:00 +0200titibandit(~titibandi@user/titibandit) (Ping timeout: 260 seconds)
2024-04-26 17:57:04 +0200qqq(~qqq@92.43.167.61) (Quit: Lost terminal)
2024-04-26 17:57:06 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-04-26 18:01:34 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us)
2024-04-26 18:05:31 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us) (Remote host closed the connection)
2024-04-26 18:11:27 +0200fkv24(~fkv24@188.191.238.23) (Remote host closed the connection)
2024-04-26 18:18:55 +0200tzh(~tzh@c-73-164-206-160.hsd1.or.comcast.net)
2024-04-26 18:19:15 +0200vpan(~vpan@212.117.1.172) (Quit: Leaving.)
2024-04-26 18:19:18 +0200swamp_(~zmt00@user/zmt00)
2024-04-26 18:22:25 +0200zmt01(~zmt00@user/zmt00) (Ping timeout: 245 seconds)
2024-04-26 18:25:08 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2024-04-26 18:26:32 +0200img(~img@user/img)
2024-04-26 18:33:02 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds)
2024-04-26 18:33:22 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2024-04-26 18:34:02 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-04-26 18:34:34 +0200califax(~califax@user/califx) (Ping timeout: 260 seconds)
2024-04-26 18:37:14 +0200califax(~califax@user/califx)
2024-04-26 18:39:52 +0200CrunchyFlakes(~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-04-26 18:40:27 +0200CrunchyFlakes(~CrunchyFl@146.52.130.128)
2024-04-26 18:40:59 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-26 18:44:36 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2024-04-26 18:50:29 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 240 seconds)
2024-04-26 18:51:45 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds)
2024-04-26 18:54:06 +0200fkv24(~fkv24@188.191.238.23)
2024-04-26 18:58:46 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-04-26 19:05:54 +0200fkv24(~fkv24@188.191.238.23) (Quit: fkv24)
2024-04-26 19:07:49 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-04-26 19:11:01 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us)
2024-04-26 19:20:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 19:23:14 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us) (Remote host closed the connection)
2024-04-26 19:23:52 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 19:25:03 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us)
2024-04-26 19:30:21 +0200mei(~mei@user/mei)
2024-04-26 19:37:31 +0200Olekawaii(~Olekawaii@ntas02lp.tenafly.k12.nj.us) (Remote host closed the connection)
2024-04-26 19:43:19 +0200causal(~eric@50.35.88.207)
2024-04-26 19:43:29 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 19:48:27 +0200Inst_(~Inst@user/Inst)
2024-04-26 19:51:12 +0200Inst(~Inst@user/Inst) (Ping timeout: 256 seconds)
2024-04-26 20:05:13 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2024-04-26 20:06:16 +0200yin_(~yin@user/zero)
2024-04-26 20:10:38 +0200Square(~Square@user/square) (Remote host closed the connection)
2024-04-26 20:15:08 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-04-26 20:17:53 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-04-26 20:18:00 +0200euphores(~SASL_euph@user/euphores)
2024-04-26 20:18:16 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 260 seconds)
2024-04-26 20:27:58 +0200demon-cat(~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net)
2024-04-26 20:31:03 +0200euleritian(~euleritia@ip-185-104-138-51.ptr.icomera.net) (Ping timeout: 255 seconds)
2024-04-26 20:31:16 +0200euleritian(~euleritia@176.2.140.113)
2024-04-26 20:46:39 +0200yin(~yin@user/zero) (Read error: Connection reset by peer)
2024-04-26 20:47:42 +0200rvalue-(~rvalue@user/rvalue)
2024-04-26 20:48:51 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 260 seconds)
2024-04-26 20:49:02 +0200target_i(~target_i@user/target-i/x-6023099)
2024-04-26 20:50:32 +0200ph88(~ph88@ip5b403f30.dynamic.kabel-deutschland.de)
2024-04-26 20:53:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 20:55:30 +0200rvalue-rvalue
2024-04-26 20:57:24 +0200y04nn(~username@2a03:1b20:8:f011::e10d)
2024-04-26 21:01:13 +0200michalz(~michalz@185.246.207.217) (Ping timeout: 272 seconds)
2024-04-26 21:02:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 21:08:25 +0200yin_(~yin@user/zero) (Quit: Reconnecting)
2024-04-26 21:08:38 +0200yin(~yin@user/zero)
2024-04-26 21:13:27 +0200micro(~micro@user/micro) (Ping timeout: 256 seconds)
2024-04-26 21:16:50 +0200micro(~micro@user/micro)
2024-04-26 21:21:48 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2024-04-26 21:24:24 +0200mei(~mei@user/mei) (Remote host closed the connection)
2024-04-26 21:30:49 +0200mei(~mei@user/mei)
2024-04-26 21:31:01 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Remote host closed the connection)
2024-04-26 21:32:54 +0200Square(~Square@user/square)
2024-04-26 21:35:52 +0200yin(~yin@user/zero) (Ping timeout: 255 seconds)
2024-04-26 21:39:35 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-04-26 21:49:04 +0200todi(~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in)
2024-04-26 21:56:56 +0200peterbecich(~Thunderbi@47.229.123.186)
2024-04-26 22:01:26 +0200yin(~yin@user/zero)
2024-04-26 22:03:29 +0200 <yin> EvanR: i run ghc on my phone :)
2024-04-26 22:04:41 +0200AlexNoo(~AlexNoo@178.34.161.189) (Read error: Connection reset by peer)
2024-04-26 22:05:02 +0200 <EvanR> I'm jelly
2024-04-26 22:05:56 +0200AlexNoo(~AlexNoo@178.34.161.189)
2024-04-26 22:09:08 +0200yin(~yin@user/zero) (Quit: leaving)
2024-04-26 22:09:30 +0200yin(~yin@user/zero)
2024-04-26 22:10:07 +0200Square(~Square@user/square) (Remote host closed the connection)
2024-04-26 22:11:02 +0200opqdonut(opqdonut@pseudo.fixme.fi) (Remote host closed the connection)
2024-04-26 22:11:07 +0200Square(~Square@user/square)
2024-04-26 22:12:53 +0200ft(~ft@p4fc2a20e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-04-26 22:14:05 +0200ft(~ft@p4fc2a1f9.dip0.t-ipconnect.de)
2024-04-26 22:18:37 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds)
2024-04-26 22:19:12 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2024-04-26 22:20:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-04-26 22:21:54 +0200Nixkernal(~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch)
2024-04-26 22:27:22 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2024-04-26 22:27:43 +0200todi(~todi@p57803331.dip0.t-ipconnect.de)
2024-04-26 22:30:47 +0200destituion(~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer)
2024-04-26 22:31:04 +0200destituion(~destituio@2001:4644:c37:0:6086:64f4:a213:b80d)
2024-04-26 22:35:22 +0200 <monochrom> Don't get jelly, get even! Run ghc on your watch. >:)
2024-04-26 22:35:40 +0200 <monochrom> VR headset OK too. :)
2024-04-26 22:41:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 22:44:36 +0200euleritian(~euleritia@176.2.140.113) (Read error: Connection reset by peer)
2024-04-26 22:44:51 +0200 <tomsmeding> monochrom: if you make ghc use less memory
2024-04-26 22:44:56 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-04-26 22:45:17 +0200 <monochrom> I know, we just need 16-bit GHC. >:)
2024-04-26 22:45:24 +0200 <tomsmeding> lol
2024-04-26 22:46:06 +0200 <tomsmeding> although, if running `ghc --version` counts, that uses just a little less than 100 MB of memory
2024-04-26 22:46:26 +0200 <tomsmeding> (this is supposed to be funny)
2024-04-26 22:47:25 +0200Guest49(~Guest49@24.144.1.228)
2024-04-26 22:47:41 +0200 <monochrom> Back then when MLton performed whole-program optimizations and required 128MB, it was a big deal, it was like "only your school server can handle it".
2024-04-26 22:47:46 +0200 <int-e> monochrom: need hugs?
2024-04-26 22:48:15 +0200 <monochrom> Oh! That's a good idea. Running hugs on your watch first.
2024-04-26 22:48:56 +0200Guest49(~Guest49@24.144.1.228) (Client Quit)
2024-04-26 22:49:27 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 22:53:37 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-04-26 22:55:33 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2024-04-26 22:57:46 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 22:58:27 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection)
2024-04-26 23:12:57 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2024-04-26 23:13:21 +0200ocra8(ocra8@user/ocra8)
2024-04-26 23:16:30 +0200michalz(~michalz@185.246.207.200)
2024-04-26 23:18:33 +0200Square(~Square@user/square) (Ping timeout: 268 seconds)
2024-04-26 23:24:24 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:9d85:706a:2e8a:a4d1)
2024-04-26 23:24:24 +0200random-jellyfish(~developer@2a02:2f04:11e:c600:9d85:706a:2e8a:a4d1) (Changing host)
2024-04-26 23:24:24 +0200random-jellyfish(~developer@user/random-jellyfish)
2024-04-26 23:25:00 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2024-04-26 23:25:02 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-04-26 23:25:57 +0200gmg(~user@user/gehmehgeh)
2024-04-26 23:28:36 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-04-26 23:30:36 +0200Inst_(~Inst@user/Inst) (Ping timeout: 252 seconds)
2024-04-26 23:32:44 +0200philopsos(~caecilius@user/philopsos) (Ping timeout: 268 seconds)
2024-04-26 23:33:41 +0200mima(~mmh@aftr-62-216-211-229.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
2024-04-26 23:33:56 +0200Inst(~Inst@user/Inst)
2024-04-26 23:34:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-04-26 23:39:12 +0200sadie-sorceress(~madeleine@c-76-155-235-153.hsd1.co.comcast.net)
2024-04-26 23:39:17 +0200madeleine-sydney(~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Ping timeout: 240 seconds)
2024-04-26 23:48:57 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net)
2024-04-26 23:53:39 +0200tri(~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds)
2024-04-26 23:56:41 +0200michalz(~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in)