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