| 2024-04-26 00:04:19 +0200 | Achylles | (~Achylles@45.182.57.9) |
| 2024-04-26 00:04:27 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-26 00:05:32 +0200 | Achylles | (~Achylles@45.182.57.9) (Read error: Connection reset by peer) |
| 2024-04-26 00:06:03 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 00:06:47 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-26 00:07:18 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-26 00:10:57 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-26 00:12:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-26 00:15:58 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-26 00:16:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-26 00:16:06 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-26 00:16:49 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-26 00:17:39 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-26 00:18:33 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-26 00:20:45 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 245 seconds) |
| 2024-04-26 00:26:00 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 00:28:32 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-26 00:29:45 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) |
| 2024-04-26 00:37:15 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-04-26 00:39:59 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-26 00:40:47 +0200 | acidjnk | (~acidjnk@p200300d6e714dc7109d5fea24ae1df5e.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-04-26 00:41:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-04-26 00:41:35 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
| 2024-04-26 00:41:41 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-26 00:42:07 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2024-04-26 00:42:15 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-04-26 00:52:22 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) (Ping timeout: 268 seconds) |
| 2024-04-26 00:53:40 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 245 seconds) |
| 2024-04-26 00:54:37 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-04-26 00:57:25 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-04-26 00:58:26 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-26 00:59:39 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-04-26 01:01:51 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Remote host closed the connection) |
| 2024-04-26 01:02:52 +0200 | emergence | (emergence@vm0.max-p.me) |
| 2024-04-26 01:02:58 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 256 seconds) |
| 2024-04-26 01:06:25 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) |
| 2024-04-26 01:07:34 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 01:11:55 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 260 seconds) |
| 2024-04-26 01:12:29 +0200 | mima | (~mmh@aftr-62-216-211-38.dynamic.mnet-online.de) (Ping timeout: 240 seconds) |
| 2024-04-26 01:13:43 +0200 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 2024-04-26 01:14:04 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-26 01:14:24 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-04-26 01:15:34 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-04-26 01:16:50 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-04-26 01:17:29 +0200 | phma | (~phma@2001:5b0:212a:83b8:81d8:7229:2d03:5112) (Read error: Connection reset by peer) |
| 2024-04-26 01:18:14 +0200 | emergence | (emergence@vm0.max-p.me) (Read error: Connection reset by peer) |
| 2024-04-26 01:18:30 +0200 | phma | (phma@2001:5b0:210f:2ed8:1686:9f1d:3773:c78f) |
| 2024-04-26 01:18:44 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) |
| 2024-04-26 01:20:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-26 01:20:32 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-26 01:23:15 +0200 | emergence | (emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (Client Quit) |
| 2024-04-26 01:23:48 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 01:25:06 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-26 01:41:35 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 245 seconds) |
| 2024-04-26 01:47:17 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-26 01:50:31 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 02:04:09 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 252 seconds) |
| 2024-04-26 02:04:42 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-26 02:12:36 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 255 seconds) |
| 2024-04-26 02:15:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 264 seconds) |
| 2024-04-26 02:18:20 +0200 | wroathe | (~wroathe@24-152-179-157.fttp.usinternet.com) |
| 2024-04-26 02:18:20 +0200 | wroathe | (~wroathe@24-152-179-157.fttp.usinternet.com) (Changing host) |
| 2024-04-26 02:18:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2024-04-26 02:21:13 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-04-26 02:21:21 +0200 | wroathe | (~wroathe@user/wroathe) (Client Quit) |
| 2024-04-26 02:23:29 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 02:25:03 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-26 02:25:18 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-26 02:25:32 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-26 02:30:25 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 268 seconds) |
| 2024-04-26 02:33:09 +0200 | xff0x | (~xff0x@2405:6580:b080:900:78b5:44c3:11b7:3511) (Read error: Connection reset by peer) |
| 2024-04-26 02:37:49 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 268 seconds) |
| 2024-04-26 02:38:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:83cb:90d7:e988:de63) |
| 2024-04-26 02:38:34 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 02:43:05 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-26 02:45:29 +0200 | mei | (~mei@user/mei) |
| 2024-04-26 02:54:21 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 02:58:40 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2024-04-26 02:59:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-26 03:04:36 +0200 | xal | (~xal@mx1.xal.systems) () |
| 2024-04-26 03:05:04 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-04-26 03:05:34 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 268 seconds) |
| 2024-04-26 03:06:22 +0200 | euleritian | (~euleritia@dynamic-176-006-187-024.176.6.pool.telefonica.de) |
| 2024-04-26 03:15:45 +0200 | k_hachig2 | (~k_hachig@2607:fea8:351d:ef0:44fc:138:83ed:493e) |
| 2024-04-26 03:15:48 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:652e:13ed:96d2:f8ef) (Ping timeout: 260 seconds) |
| 2024-04-26 03:18:30 +0200 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-04-26 03:18:52 +0200 | califax | (~califax@user/califx) |
| 2024-04-26 03:18:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-26 03:19:54 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-04-26 03:21:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-26 03:21:28 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
| 2024-04-26 03:21:39 +0200 | xff0x | (~xff0x@2405:6580:b080:900:83cb:90d7:e988:de63) (Ping timeout: 260 seconds) |
| 2024-04-26 03:23:48 +0200 | euleritian | (~euleritia@dynamic-176-006-187-024.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-26 03:24:01 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 03:26:14 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-26 03:28:18 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 252 seconds) |
| 2024-04-26 03:28:23 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-26 03:28:50 +0200 | aforemny | (~aforemny@i59F516E4.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-26 03:28:59 +0200 | califax | (~califax@user/califx) |
| 2024-04-26 03:32:04 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-26 03:33:40 +0200 | otto_s | (~user@p5b04436d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-04-26 03:35:29 +0200 | aforemny | (~aforemny@i59F516C6.versanet.de) |
| 2024-04-26 03:35:45 +0200 | otto_s | (~user@p5b044b31.dip0.t-ipconnect.de) |
| 2024-04-26 03:37:06 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-04-26 03:42:33 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 03:51:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2024-04-26 03:56:11 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 260 seconds) |
| 2024-04-26 03:59:17 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 04:01:25 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-26 04:03:44 +0200 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 256 seconds) |
| 2024-04-26 04:03:50 +0200 | mei | (~mei@user/mei) |
| 2024-04-26 04:08:59 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 264 seconds) |
| 2024-04-26 04:12:50 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 252 seconds) |
| 2024-04-26 04:13:30 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-26 04:13:47 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 04:14:25 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:7060:d72d:2b43:1742) |
| 2024-04-26 04:14:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-26 04:15:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-26 04:17:25 +0200 | k_hachig2 | (~k_hachig@2607:fea8:351d:ef0:44fc:138:83ed:493e) (Ping timeout: 256 seconds) |
| 2024-04-26 04:21:45 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-26 04:27:42 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 252 seconds) |
| 2024-04-26 04:29:30 +0200 | totalghost | (~ghost@172-105-178-131.ip.linodeusercontent.com) (Quit: Lost terminal) |
| 2024-04-26 04:31:12 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 04:32:09 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 256 seconds) |
| 2024-04-26 04:32:28 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-04-26 04:33:28 +0200 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 255 seconds) |
| 2024-04-26 04:33:49 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-26 04:35:06 +0200 | td_ | (~td@i53870921.versanet.de) |
| 2024-04-26 04:38:23 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 264 seconds) |
| 2024-04-26 04:41:51 +0200 | hueso | (~root@user/hueso) |
| 2024-04-26 04:42:00 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 04:45:58 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2024-04-26 04:49:08 +0200 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:7060:d72d:2b43:1742) (Quit: WeeChat 4.2.2) |
| 2024-04-26 05:07:46 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-26 05:11:08 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf4:e200:c321:623a:48be:28f1) |
| 2024-04-26 05:11:11 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-26 05:12:14 +0200 | aforemny | (~aforemny@i59F516C6.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-26 05:16:41 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 05:27:05 +0200 | liamzy__ | (~Inst@user/Inst) (Ping timeout: 252 seconds) |
| 2024-04-26 05:58:37 +0200 | emergence | (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 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-26 06:22:41 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-04-26 06:24:45 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-26 06:29:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-04-26 06:30:41 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-26 06:31:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-26 06:34:49 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-26 06:55:05 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-26 06:56:19 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-26 06:57:13 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-26 07:00:26 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Quit: peterbecich) |
| 2024-04-26 07:00:55 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-26 07:08:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-26 07:12:42 +0200 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-26 07:14:34 +0200 | euleritian | (~euleritia@212.144.241.187) (Read error: Connection reset by peer) |
| 2024-04-26 07:14:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-26 07:15:49 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 07:27:31 +0200 | gorignak | (~gorignak@user/gorignak) |
| 2024-04-26 07:30:05 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-26 07:37:19 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 256 seconds) |
| 2024-04-26 07:37:56 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 256 seconds) |
| 2024-04-26 07:42:33 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-26 07:44:42 +0200 | euleritian | (~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) |
| 2024-04-26 07:49:24 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-26 07:52:39 +0200 | euleritian | (~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-26 07:53:05 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 07:59:12 +0200 | acidjnk | (~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) |
| 2024-04-26 08:03:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-26 08:05:32 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-04-26 08:05:56 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-04-26 08:15:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-26 08:16:25 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Ping timeout: 246 seconds) |
| 2024-04-26 08:17:26 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
| 2024-04-26 08:19:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-26 08:20:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-26 08:20:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-26 08:21:00 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 08:25:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-04-26 08:32:12 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 260 seconds) |
| 2024-04-26 08:32:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-04-26 08:32:47 +0200 | euleritian | (~euleritia@212.144.241.187) |
| 2024-04-26 08:38:48 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-04-26 08:39:55 +0200 | Square | (~Square@user/square) |
| 2024-04-26 08:44:19 +0200 | euleritian | (~euleritia@212.144.241.187) (Ping timeout: 256 seconds) |
| 2024-04-26 08:47:41 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-26 08:48:54 +0200 | euleritian | (~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) |
| 2024-04-26 08:49:43 +0200 | kimiamania | (~76637481@user/kimiamania) (Quit: PegeLinux) |
| 2024-04-26 08:50:39 +0200 | kimiamania | (~76637481@user/kimiamania) |
| 2024-04-26 08:51:07 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-26 08:59:53 +0200 | mima | (~mmh@aftr-62-216-211-229.dynamic.mnet-online.de) |
| 2024-04-26 09:18:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-26 09:28:46 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-26 09:29:34 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-26 09:35:45 +0200 | son0p | (~ff@191.104.18.195) (Ping timeout: 245 seconds) |
| 2024-04-26 09:39:52 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
| 2024-04-26 09:44:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-26 09:59:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-04-26 10:04:05 +0200 | lol_ | (~lol@2603:3016:1e01:b940:500c:2d35:d29f:521d) (Ping timeout: 245 seconds) |
| 2024-04-26 10:05:25 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b940:2575:1903:5fc2:ed7c) |
| 2024-04-26 10:09:37 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 255 seconds) |
| 2024-04-26 10:11:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-26 10:20:45 +0200 | AlexZenon | (~alzenon@178.34.161.189) (Ping timeout: 245 seconds) |
| 2024-04-26 10:21:06 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-04-26 10:25:39 +0200 | AlexZenon | (~alzenon@178.34.161.189) |
| 2024-04-26 10:28:25 +0200 | Nixkernal | (~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 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-26 10:38:56 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-04-26 10:58:33 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 2024-04-26 11:04:34 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-26 11:06:59 +0200 | mei | (~mei@user/mei) |
| 2024-04-26 11:07:48 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-26 11:15:50 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Read error: Connection reset by peer) |
| 2024-04-26 11:16:28 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-04-26 11:21:11 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-26 11:22:20 +0200 | waldo | (~waldo@user/waldo) (Client Quit) |
| 2024-04-26 11:22:50 +0200 | anon1123_ | anon8697 |
| 2024-04-26 11:40:31 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-04-26 11:45:27 +0200 | forell_ | (~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 +0200 | forell | (~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 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
| 2024-04-26 11:57:35 +0200 | destituion | (~destituio@85.221.111.174) |
| 2024-04-26 11:57:48 +0200 | yin | (~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 +0200 | xff0x | (~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 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-26 12:20:03 +0200 | chele | (~chele@user/chele) |
| 2024-04-26 12:34:30 +0200 | danza | (~francesco@an-19-186-120.service.infuturo.it) |
| 2024-04-26 12:37:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-04-26 12:43:16 +0200 | acidjnk | (~acidjnk@p200300d6e714dc76fc9e8da7e9a4142b.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-04-26 12:47:49 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-26 12:48:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-04-26 12:50:44 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-26 12:54:07 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-26 12:55:06 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-26 12:58:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-26 13:05:44 +0200 | yin_ | (~yin@user/zero) |
| 2024-04-26 13:11:08 +0200 | pyooque | (~puke@user/puke) |
| 2024-04-26 13:11:08 +0200 | puke | Guest3456 |
| 2024-04-26 13:11:08 +0200 | Guest3456 | (~puke@user/puke) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-04-26 13:11:08 +0200 | pyooque | puke |
| 2024-04-26 13:18:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-26 13:19:37 +0200 | yin | (~yin@user/zero) |
| 2024-04-26 13:22:31 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-26 13:22:51 +0200 | nij- | (~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 +0200 | ncf | . 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 +0200 | tromp | (~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 +0200 | tromp | (~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 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-26 13:49:47 +0200 | zer0bitz | (~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 +0200 | bitdex | (~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 +0200 | glguy | (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 +0200 | Square | (~Square@user/square) |
| 2024-04-26 14:00:53 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-04-26 14:01:14 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-26 14:01:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-26 14:01:59 +0200 | <ncf> | not sure what you mean by that |
| 2024-04-26 14:02:25 +0200 | TheCoffeMaker | (~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 +0200 | fedir | (~fedir@188.191.238.23) |
| 2024-04-26 14:04:26 +0200 | tomsmeding | writes 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 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-26 14:06:05 +0200 | acidjnk | (~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 +0200 | mei | (~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 +0200 | xff0x | (~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 +0200 | nij- | (~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 +0200 | fedir | (~fedir@188.191.238.23) (Quit: fedir) |
| 2024-04-26 14:25:31 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-26 14:30:19 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-26 14:31:33 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-04-26 14:33:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 14:37:49 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-26 14:48:31 +0200 | danza_ | (~francesco@an-19-169-90.service.infuturo.it) |
| 2024-04-26 14:50:52 +0200 | danza | (~francesco@an-19-186-120.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2024-04-26 14:55:21 +0200 | auri | (~auri@fsf/member/auri) (Ping timeout: 268 seconds) |
| 2024-04-26 14:55:29 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) (Ping timeout: 256 seconds) |
| 2024-04-26 14:57:49 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 268 seconds) |
| 2024-04-26 15:04:06 +0200 | fedir | (~fedir@188.191.238.23) |
| 2024-04-26 15:04:52 +0200 | rncwnd | (~quassel@2a01:4f8:221:27c6::1) |
| 2024-04-26 15:05:06 +0200 | auri | (~auri@fsf/member/auri) |
| 2024-04-26 15:12:37 +0200 | danza_ | (~francesco@an-19-169-90.service.infuturo.it) (Ping timeout: 268 seconds) |
| 2024-04-26 15:19:33 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-26 15:19:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-26 15:21:35 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-26 15:27:09 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2024-04-26 15:29:34 +0200 | destituion | (~destituio@85.221.111.174) (Ping timeout: 255 seconds) |
| 2024-04-26 15:33:27 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) |
| 2024-04-26 15:45:06 +0200 | glguy | (g@libera/staff/glguy) |
| 2024-04-26 15:49:40 +0200 | fozworth | (~taylor@47.187.212.21) |
| 2024-04-26 15:51:01 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-04-26 15:52:26 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-04-26 15:53:13 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-26 15:59:41 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-04-26 16:00:12 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-26 16:02:57 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-26 16:06:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-26 16:09:31 +0200 | igemnace | (~igemnace@user/igemnace) |
| 2024-04-26 16:17:12 +0200 | fedir | (~fedir@188.191.238.23) (Quit: fedir) |
| 2024-04-26 16:18:11 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-26 16:19:31 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-04-26 16:23:57 +0200 | hueso | (~root@user/hueso) |
| 2024-04-26 16:26:29 +0200 | waleee | (~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 +0200 | chiselfuse | (~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 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-26 16:43:17 +0200 | euleritian | (~euleritia@dynamic-176-006-187-100.176.6.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2024-04-26 16:45:18 +0200 | euleritian | (~euleritia@ip-185-104-138-51.ptr.icomera.net) |
| 2024-04-26 16:50:54 +0200 | fedir | (~fedir@188.191.238.23) |
| 2024-04-26 16:51:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-26 16:58:41 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-04-26 17:08:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-26 17:10:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-04-26 17:11:34 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-26 17:11:42 +0200 | fedir | (~fedir@188.191.238.23) (Quit: Leaving) |
| 2024-04-26 17:12:15 +0200 | fkv24 | (~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 +0200 | fkv24 | (~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 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-26 17:32:49 +0200 | chele | (~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 +0200 | lortabac | (~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 +0200 | fkv24 | (~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 +0200 | fkv24 | (~fkv24@188.191.238.23) (Remote host closed the connection) |
| 2024-04-26 17:38:28 +0200 | fkv24 | (~fkv24@188.191.238.23) |
| 2024-04-26 17:38:33 +0200 | fkv24 | (~fkv24@188.191.238.23) (Remote host closed the connection) |
| 2024-04-26 17:40:14 +0200 | fkv24 | (~fkv24@188.191.238.23) |
| 2024-04-26 17:55:00 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 260 seconds) |
| 2024-04-26 17:57:04 +0200 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-04-26 17:57:06 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-26 18:01:34 +0200 | Olekawaii | (~Olekawaii@ntas02lp.tenafly.k12.nj.us) |
| 2024-04-26 18:05:31 +0200 | Olekawaii | (~Olekawaii@ntas02lp.tenafly.k12.nj.us) (Remote host closed the connection) |
| 2024-04-26 18:11:27 +0200 | fkv24 | (~fkv24@188.191.238.23) (Remote host closed the connection) |
| 2024-04-26 18:18:55 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-26 18:19:15 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-04-26 18:19:18 +0200 | swamp_ | (~zmt00@user/zmt00) |
