Logs on 2024-02-15 (liberachat/#haskell)
| 00:01:31 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 00:01:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:11:51 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 00:12:01 | → | Pozyomka joins (~pyon@user/pyon) |
| 00:16:22 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 00:17:41 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 00:24:02 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 00:26:00 | × | alexherbo2 quits (~alexherbo@120.150.22.93.rev.sfr.net) (Remote host closed the connection) |
| 00:32:35 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 00:32:52 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 00:42:49 | × | Square quits (~Square@user/square) (Ping timeout: 268 seconds) |
| 00:43:01 | → | Square3 joins (~Square4@user/square) |
| 00:51:27 | × | hgolden quits (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) (Ping timeout: 268 seconds) |
| 01:00:18 | × | acidjnk_new3 quits (~acidjnk@p200300d6e737e7247c482905a196782e.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 01:10:38 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 01:11:19 | → | hgolden joins (~hgolden@2603-8000-9d00-3ed1-2678-8497-aa5c-7fa9.res6.spectrum.com) |
| 01:11:52 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 01:23:33 | → | ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com) |
| 01:28:25 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 01:39:14 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 252 seconds) |
| 01:40:13 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 01:42:36 | → | mei joins (~mei@user/mei) |
| 01:46:47 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 01:47:17 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 01:51:18 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Read error: Connection reset by peer) |
| 01:52:06 | → | lg188 joins (~lg188@82.18.98.230) |
| 02:03:36 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 02:08:56 | × | santiagopim quits (~user@90.167.66.131) (Ping timeout: 252 seconds) |
| 02:13:41 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 02:14:23 | × | otto_s quits (~user@p5b044b8c.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 02:15:54 | → | otto_s joins (~user@p5b0449b5.dip0.t-ipconnect.de) |
| 02:17:07 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 02:21:41 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 02:23:22 | → | cheater joins (~Username@user/cheater) |
| 02:23:39 | × | cheater quits (~Username@user/cheater) (Client Quit) |
| 02:24:15 | → | benkard joins (~mulk@pd95149fd.dip0.t-ipconnect.de) |
| 02:25:03 | → | cheater joins (~Username@user/cheater) |
| 02:25:21 | × | mulk quits (~mulk@p5b2dce88.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 02:25:21 | benkard | is now known as mulk |
| 02:27:18 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 02:46:49 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 02:59:50 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 03:11:21 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 03:11:43 | → | califax joins (~califax@user/califx) |
| 03:15:41 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 03:16:11 | → | califax joins (~califax@user/califx) |
| 03:17:06 | × | motherfsck quits (~motherfsc@user/motherfsck) (Ping timeout: 255 seconds) |
| 03:17:14 | → | srk_ joins (~sorki@user/srk) |
| 03:20:13 | → | srk| joins (~sorki@user/srk) |
| 03:20:15 | × | srk quits (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 03:22:05 | × | srk_ quits (~sorki@user/srk) (Ping timeout: 252 seconds) |
| 03:23:11 | srk| | is now known as srk |
| 03:28:16 | × | phma quits (phma@2001:5b0:210d:fe68:fc35:8b63:90e:b2c5) (Read error: Connection reset by peer) |
| 03:28:55 | → | phma joins (~phma@host-67-44-208-97.hnremote.net) |
| 03:29:00 | × | td_ quits (~td@i5387092F.versanet.de) (Ping timeout: 268 seconds) |
| 03:30:13 | → | td_ joins (~td@i53870914.versanet.de) |
| 03:35:14 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 03:35:23 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 03:35:39 | → | _xor7 joins (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 03:36:35 | × | _xor quits (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 03:36:46 | _xor7 | is now known as _xor |
| 03:36:55 | × | myme quits (~myme@2a01:799:d5e:2e00:fce7:cf82:a884:157f) (Ping timeout: 272 seconds) |
| 03:37:22 | → | myme joins (~myme@2a01:799:d5e:2e00:cf83:36a0:a06c:5732) |
| 03:39:49 | → | srk_ joins (~sorki@user/srk) |
| 03:40:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 03:41:49 | × | srk quits (~sorki@user/srk) (Ping timeout: 264 seconds) |
| 03:42:36 | srk_ | is now known as srk |
| 03:45:01 | → | motherfsck joins (~motherfsc@user/motherfsck) |
| 03:45:38 | → | srk_ joins (~sorki@user/srk) |
| 03:46:08 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 03:47:15 | × | srk quits (~sorki@user/srk) (Ping timeout: 255 seconds) |
| 03:47:45 | → | caconym joins (~caconym@user/caconym) |
| 03:48:47 | srk_ | is now known as srk |
| 03:48:48 | → | falafel joins (~falafel@141.156.241.57) |
| 04:03:16 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:10:19 | → | nunggu joins (~q@user/nunggu) |
| 04:16:45 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 04:16:46 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 04:17:25 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 04:25:56 | → | Guest45 joins (~Guest45@2603-6080-6800-be6f-e851-d219-800f-c256.res6.spectrum.com) |
| 04:26:34 | × | Guest45 quits (~Guest45@2603-6080-6800-be6f-e851-d219-800f-c256.res6.spectrum.com) (Client Quit) |
| 04:29:08 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 255 seconds) |
| 04:36:14 | → | gorignak joins (~gorignak@user/gorignak) |
| 04:43:16 | → | aforemny_ joins (~aforemny@2001:9e8:6cf1:d400:fa96:61a3:2d1c:1b12) |
| 04:44:07 | × | aforemny quits (~aforemny@2001:9e8:6ccd:8500:a515:f4fd:94fd:1c13) (Ping timeout: 246 seconds) |
| 04:50:17 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 260 seconds) |
| 04:50:20 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 04:51:36 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 04:51:41 | → | k_hachig joins (~k_hachig@2607:fea8:351d:ef0:95d:2534:5b90:e685) |
| 04:54:35 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 04:55:13 | → | tri joins (~tri@2607:fb90:b117:8c79:7911:1dbd:328d:6c77) |
| 04:56:57 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 04:59:12 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 05:00:04 | → | incog joins (~stillfree@2a09:bac1:28c0:1b8::17a:4b) |
| 05:03:00 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 05:05:40 | × | k_hachig quits (~k_hachig@2607:fea8:351d:ef0:95d:2534:5b90:e685) (Quit: WeeChat 4.2.1) |
| 05:20:18 | → | erty joins (~user@user/aeroplane) |
| 05:20:35 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:21:20 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 255 seconds) |
| 05:22:53 | → | bilegeek joins (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) |
| 05:23:40 | × | falafel quits (~falafel@141.156.241.57) (Ping timeout: 246 seconds) |
| 05:24:46 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 05:25:10 | → | adanwan joins (~adanwan@gateway/tor-sasl/adanwan) |
| 05:40:11 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 05:48:49 | → | michalz joins (~michalz@185.246.207.218) |
| 05:49:44 | × | michalz quits (~michalz@185.246.207.218) (Client Quit) |
| 05:52:32 | → | michalz joins (~michalz@185.246.207.205) |
| 05:59:20 | → | bilegeek_ joins (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) |
| 06:01:57 | × | bilegeek quits (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) (Ping timeout: 272 seconds) |
| 06:02:41 | × | mulk quits (~mulk@pd95149fd.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 06:04:09 | → | mulk joins (~mulk@p5b2dc13b.dip0.t-ipconnect.de) |
| 06:11:45 | → | mei joins (~mei@user/mei) |
| 06:15:08 | → | igemnace joins (~ian@user/igemnace) |
| 06:38:37 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 06:39:50 | → | acidjnk joins (~acidjnk@p200300d6e737e785eca59ab302ca347d.dip0.t-ipconnect.de) |
| 06:41:47 | × | Square3 quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 06:42:33 | → | rosco joins (~rosco@175.136.156.77) |
| 06:48:43 | × | tri quits (~tri@2607:fb90:b117:8c79:7911:1dbd:328d:6c77) (Remote host closed the connection) |
| 06:55:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:16:22 | → | zetef joins (~quassel@95.77.17.251) |
| 07:28:10 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 07:33:40 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 07:37:53 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:49:48 | → | Raspbelly joins (~Raspbelly@employee-8.eduroam.muni.cz) |
| 07:51:01 | × | mei quits (~mei@user/mei) (Ping timeout: 246 seconds) |
| 07:54:18 | × | Raspbelly quits (~Raspbelly@employee-8.eduroam.muni.cz) (Ping timeout: 255 seconds) |
| 07:57:42 | ← | erty parts (~user@user/aeroplane) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2)) |
| 08:01:48 | → | bilegeek__ joins (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) |
| 08:02:28 | → | gmg joins (~user@user/gehmehgeh) |
| 08:04:26 | × | bilegeek_ quits (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) (Ping timeout: 260 seconds) |
| 08:04:44 | → | CiaoSen joins (~Jura@2a05:5800:2c7:7b00:e6b9:7aff:fe80:3d03) |
| 08:11:23 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 08:12:06 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:13:37 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 264 seconds) |
| 08:14:42 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:18:56 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:23:13 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 08:23:13 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 08:23:34 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 08:25:49 | → | zetef joins (~quassel@95.77.17.251) |
| 08:29:52 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 08:38:16 | chiselfu1e | is now known as chiselfuse |
| 08:43:02 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 08:45:35 | × | rosco quits (~rosco@175.136.156.77) (Ping timeout: 264 seconds) |
| 08:47:09 | → | rosco joins (rosco@gateway/vpn/airvpn/rosco) |
| 08:47:23 | haritzondo | is now known as haritz |
| 08:47:23 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 08:47:23 | → | haritz joins (~hrtz@user/haritz) |
| 08:48:47 | → | danse-nr3 joins (~danse@151.37.110.9) |
| 08:56:23 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 264 seconds) |
| 09:00:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:03:05 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 09:03:09 | → | rosco_ joins (~rosco@175.136.156.77) |
| 09:06:12 | → | zetef joins (~quassel@95.77.17.251) |
| 09:06:57 | × | rosco quits (rosco@gateway/vpn/airvpn/rosco) (Ping timeout: 260 seconds) |
| 09:08:15 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 09:08:26 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 09:13:28 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 09:20:38 | → | chele joins (~chele@user/chele) |
| 09:22:04 | × | bilegeek__ quits (~bilegeek@2600:1008:b029:5c4f:1109:9e8c:1c5f:4e15) (Quit: Leaving) |
| 09:22:35 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 09:25:19 | × | ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:28:56 | × | todi quits (~todi@pd9571068.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 09:29:03 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 09:33:28 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:ab90:1a9f:8e5b:875e) |
| 09:34:12 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 255 seconds) |
| 09:35:51 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 09:50:01 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 10:06:49 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 10:14:23 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 10:17:25 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 10:21:55 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 260 seconds) |
| 10:32:39 | × | rosco_ quits (~rosco@175.136.156.77) (Ping timeout: 260 seconds) |
| 10:33:35 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 10:33:53 | × | raoul quits (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 10:34:11 | → | raoul joins (~raoul@95.179.203.88) |
| 10:41:34 | → | Midjak joins (~MarciZ@82.66.147.146) |
| 10:44:20 | × | czy quits (~user@117.63.127.239) (Remote host closed the connection) |
| 10:56:05 | × | danse-nr3 quits (~danse@151.37.110.9) (Ping timeout: 240 seconds) |
| 11:03:44 | → | zetef joins (~quassel@95.77.17.251) |
| 11:04:31 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 11:04:55 | → | czy joins (~user@117.63.127.239) |
| 11:06:07 | → | danse-nr3 joins (~danse@151.19.235.69) |
| 11:08:15 | → | boukenshaou joins (~Boukensha@123.63.203.210) |
| 11:09:45 | × | boukenshaou quits (~Boukensha@123.63.203.210) (Client Quit) |
| 11:13:29 | → | yoo joins (~yo0O0o@104.28.194.104) |
| 11:13:51 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 11:15:39 | → | xff0x joins (~xff0x@ai082039.d.east.v6connect.net) |
| 11:15:45 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 11:18:57 | → | zetef joins (~quassel@95.77.17.251) |
| 11:19:27 | × | czy quits (~user@117.63.127.239) (Remote host closed the connection) |
| 11:20:14 | × | yoo quits (~yo0O0o@104.28.194.104) (Changing host) |
| 11:20:14 | → | yoo joins (~yo0O0o@user/mobivme) |
| 11:20:57 | × | zetef quits (~quassel@95.77.17.251) (Client Quit) |
| 11:33:34 | → | __monty__ joins (~toonn@user/toonn) |
| 11:37:12 | → | rosco joins (~rosco@175.136.156.77) |
| 11:38:53 | × | rosco quits (~rosco@175.136.156.77) (Client Quit) |
| 11:41:06 | × | destituion quits (~destituio@2a02:2121:626:f551:4b61:d23b:3f9e:ed94) (Ping timeout: 255 seconds) |
| 11:42:07 | → | destituion joins (~destituio@85.221.111.174) |
| 11:46:59 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 11:48:30 | → | mmhat joins (~mmh@p200300f1c740afccee086bfffe095315.dip0.t-ipconnect.de) |
| 11:52:21 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:54:00 | × | infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection) |
| 11:54:06 | × | mmhat quits (~mmh@p200300f1c740afccee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 11:55:03 | × | CiaoSen quits (~Jura@2a05:5800:2c7:7b00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 11:56:07 | → | infinity0 joins (~infinity0@pwned.gg) |
| 11:56:41 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:04:47 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 12:09:28 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 268 seconds) |
| 12:19:13 | → | alexherbo2 joins (~alexherbo@2a02-8440-3241-d33a-9d11-bd4e-1678-d2a6.rev.sfr.net) |
| 12:23:08 | → | zetef joins (~quassel@95.77.17.251) |
| 12:37:49 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 255 seconds) |
| 12:38:56 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 12:50:13 | dminuoso_ | is now known as dminuoso |
| 12:57:22 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 13:05:21 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 13:07:13 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 13:08:31 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:08:50 | → | califax joins (~califax@user/califx) |
| 13:09:34 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:15:59 | → | CiaoSen joins (~Jura@2a05:5800:2c7:7b00:e6b9:7aff:fe80:3d03) |
| 13:16:50 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 13:17:28 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:18:52 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:19:11 | → | califax joins (~califax@user/califx) |
| 13:20:23 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 13:20:43 | → | califax joins (~califax@user/califx) |
| 13:23:51 | → | rosco joins (~rosco@175.136.156.77) |
| 13:25:26 | × | danse-nr3 quits (~danse@151.19.235.69) (Ping timeout: 252 seconds) |
| 13:26:17 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 13:26:23 | × | yoo quits (~yo0O0o@user/mobivme) (Ping timeout: 264 seconds) |
| 13:26:40 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 13:29:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 13:32:14 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 13:34:11 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 13:34:28 | → | xff0x joins (~xff0x@2405:6580:b080:900:3fc8:48f7:9955:101) |
| 13:52:37 | × | destituion quits (~destituio@85.221.111.174) (Ping timeout: 264 seconds) |
| 13:54:45 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 13:55:17 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 13:57:00 | → | yoo joins (~yo0O0o@104.28.226.104) |
| 13:59:09 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:59:32 | × | remedan quits (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 252 seconds) |
| 14:00:32 | → | remedan joins (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 14:02:36 | → | shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 14:04:21 | × | yoo quits (~yo0O0o@104.28.226.104) (Changing host) |
| 14:04:21 | → | yoo joins (~yo0O0o@user/mobivme) |
| 14:04:33 | × | alexherbo2 quits (~alexherbo@2a02-8440-3241-d33a-9d11-bd4e-1678-d2a6.rev.sfr.net) (Remote host closed the connection) |
| 14:06:54 | → | destituion joins (~destituio@2a02:2121:626:f551:8e35:41cf:e501:3ba1) |
| 14:14:36 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 14:14:36 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 14:15:12 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 14:15:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:3fc8:48f7:9955:101) (Ping timeout: 268 seconds) |
| 14:17:40 | → | xff0x joins (~xff0x@2405:6580:b080:900:3fc8:48f7:9955:101) |
| 14:17:50 | → | sadie-sorceress joins (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) |
| 14:19:17 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 268 seconds) |
| 14:20:09 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 14:20:46 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 14:26:45 | × | sp1ff quits (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 14:33:55 | × | cawfee_ quits (~root@2406:3003:2077:2758::babe) (Ping timeout: 255 seconds) |
| 14:34:21 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:38:51 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 14:48:05 | × | rosco quits (~rosco@175.136.156.77) (Quit: Lost terminal) |
| 14:57:53 | × | xff0x quits (~xff0x@2405:6580:b080:900:3fc8:48f7:9955:101) (Ping timeout: 260 seconds) |
| 14:59:34 | → | xff0x joins (~xff0x@ai082039.d.east.v6connect.net) |
| 15:31:14 | → | falafel joins (~falafel@141.156.241.57) |
| 15:34:33 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 15:35:59 | × | falafel quits (~falafel@141.156.241.57) (Ping timeout: 264 seconds) |
| 15:39:09 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 15:40:16 | × | sadie-sorceress quits (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) (Ping timeout: 250 seconds) |
| 15:40:27 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 15:43:53 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 15:46:32 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Read error: Connection reset by peer) |
| 15:49:41 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 15:49:57 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 15:50:18 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 15:53:46 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Read error: Connection reset by peer) |
| 16:02:46 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 246 seconds) |
| 16:06:58 | × | yoo quits (~yo0O0o@user/mobivme) (Remote host closed the connection) |
| 16:08:45 | → | yoo joins (~yo0O0o@104.28.226.104) |
| 16:11:05 | → | danse-nr3 joins (~danse@151.35.247.14) |
| 16:18:57 | → | lncog joins (~stillfree@94.1.69.80) |
| 16:18:58 | × | lncog quits (~stillfree@94.1.69.80) (Excess Flood) |
| 16:19:13 | × | incog quits (~stillfree@2a09:bac1:28c0:1b8::17a:4b) (Ping timeout: 268 seconds) |
| 16:19:54 | → | lncog joins (~stillfree@94.1.69.80) |
| 16:19:55 | × | lncog quits (~stillfree@94.1.69.80) (Max SendQ exceeded) |
| 16:20:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 255 seconds) |
| 16:20:39 | → | lncog joins (~stillfree@2a02:c7e:6632:5400:40d9:4e31:bf73:845a) |
| 16:20:40 | × | lncog quits (~stillfree@2a02:c7e:6632:5400:40d9:4e31:bf73:845a) (Max SendQ exceeded) |
| 16:21:02 | → | lncog joins (~stillfree@2a02:c7e:6632:5400:40d9:4e31:bf73:845a) |
| 16:21:02 | × | lncog quits (~stillfree@2a02:c7e:6632:5400:40d9:4e31:bf73:845a) (Excess Flood) |
| 16:21:20 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 16:21:37 | → | incog joins (~stillfree@2a09:bac5:3812:278::3f:6d) |
| 16:21:53 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 16:22:46 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:26:05 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 240 seconds) |
| 16:34:29 | × | incog quits (~stillfree@2a09:bac5:3812:278::3f:6d) (Ping timeout: 240 seconds) |
| 16:38:27 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 16:38:59 | → | bontaq joins (~user@ool-45779c03.dyn.optonline.net) |
| 16:43:58 | → | erty joins (~user@user/aeroplane) |
| 16:45:38 | → | Square3 joins (~Square4@user/square) |
| 16:46:06 | → | Tuplanolla joins (~Tuplanoll@91-159-68-95.elisa-laajakaista.fi) |
| 16:47:16 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 16:47:23 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 16:48:51 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:50:51 | → | billchenchina joins (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) |
| 16:51:36 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 255 seconds) |
| 16:57:22 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:57:30 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 16:58:22 | × | CiaoSen quits (~Jura@2a05:5800:2c7:7b00:e6b9:7aff:fe80:3d03) (Ping timeout: 255 seconds) |
| 17:21:14 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 17:25:04 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:ab90:1a9f:8e5b:875e) (Remote host closed the connection) |
| 17:26:08 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 17:26:45 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 17:31:15 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 260 seconds) |
| 17:34:24 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 17:36:07 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 17:38:09 | × | yoo quits (~yo0O0o@104.28.226.104) (Ping timeout: 268 seconds) |
| 17:38:10 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 17:40:35 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 17:46:03 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 17:46:03 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 17:46:35 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 17:48:49 | × | Midjak quits (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 17:50:33 | → | Beefy-py joins (~Beefy-py@186.179.192.114) |
| 17:50:49 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 17:51:32 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:52:44 | ← | erty parts (~user@user/aeroplane) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.2)) |
| 17:53:59 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 17:57:53 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 268 seconds) |
| 17:58:27 | × | billchenchina quits (~billchenc@2a0d:2580:ff0c:1:4a35:c1dc:b9b7:67d8) (Quit: Leaving) |
| 18:03:58 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 18:05:45 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 18:06:14 | × | danse-nr3 quits (~danse@151.35.247.14) (Read error: Connection reset by peer) |
| 18:07:09 | → | danse-nr3 joins (~danse@151.57.245.167) |
| 18:08:45 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 18:09:06 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 18:09:51 | → | euleritian joins (~euleritia@dynamic-176-006-185-195.176.6.pool.telefonica.de) |
| 18:10:22 | → | target_i joins (~target_i@217.175.14.39) |
| 18:10:32 | × | Square3 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 18:11:28 | × | Beefy-py quits (~Beefy-py@186.179.192.114) (Quit: Connection closed) |
| 18:13:38 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 18:16:11 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 18:24:52 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 246 seconds) |
| 18:28:08 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:32:13 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 18:32:21 | → | yoo joins (~yo0O0o@104.28.226.106) |
| 18:37:41 | × | euleritian quits (~euleritia@dynamic-176-006-185-195.176.6.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 18:38:06 | → | euleritian joins (~euleritia@dynamic-046-114-166-133.46.114.pool.telefonica.de) |
| 18:55:08 | → | mei joins (~mei@user/mei) |
| 18:56:22 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 18:57:43 | → | mud joins (~mud@user/kadoban) |
| 19:06:47 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:10:07 | → | todi joins (~todi@pd9571068.dip0.t-ipconnect.de) |
| 19:28:51 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 19:35:13 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 19:37:39 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:39:05 | × | yoo quits (~yo0O0o@104.28.226.106) (Changing host) |
| 19:39:05 | → | yoo joins (~yo0O0o@user/mobivme) |
| 19:40:13 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 19:42:36 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 19:43:01 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:43:21 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Quit: mizlan) |
| 19:46:35 | → | mizlan joins (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) |
| 20:00:54 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 20:04:17 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 20:09:52 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:10:56 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:27:58 | × | woffs quits (3cd46299b2@woffs.de) (Quit: Gateway shutdown) |
| 20:30:20 | → | woffs joins (3cd46299b2@woffs.de) |
| 20:37:17 | × | euleritian quits (~euleritia@dynamic-046-114-166-133.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 20:37:35 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 20:42:07 | → | takuan_dozo joins (~takuan@178-116-218-225.access.telenet.be) |
| 20:42:08 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 20:42:17 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 20:42:53 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 20:42:59 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 20:43:19 | → | euleritian joins (~euleritia@dynamic-046-114-166-133.46.114.pool.telefonica.de) |
| 20:44:08 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Remote host closed the connection) |
| 20:44:41 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 20:49:09 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Remote host closed the connection) |
| 20:50:40 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 20:52:58 | × | michalz quits (~michalz@185.246.207.205) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:53:21 | → | ft joins (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 20:58:05 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 20:59:33 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 21:00:50 | × | euleritian quits (~euleritia@dynamic-046-114-166-133.46.114.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 21:01:16 | → | euleritian joins (~euleritia@dynamic-176-001-244-164.176.1.pool.telefonica.de) |
| 21:05:09 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 21:05:09 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:06:34 | × | euleritian quits (~euleritia@dynamic-176-001-244-164.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 21:06:53 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 21:09:27 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 21:11:17 | → | Square joins (~Square@user/square) |
| 21:11:25 | × | Square quits (~Square@user/square) (Client Quit) |
| 21:12:30 | → | Square3 joins (~Square4@user/square) |
| 21:13:46 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 21:14:43 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 21:14:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 21:15:50 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 21:15:55 | → | pavonia joins (~user@user/siracusa) |
| 21:16:15 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 21:18:26 | × | tv quits (~tv@user/tv) (Ping timeout: 252 seconds) |
| 21:27:10 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 21:27:31 | → | waldo joins (~waldo@user/waldo) |
| 21:31:53 | → | tv joins (~tv@user/tv) |
| 21:34:57 | × | waldo quits (~waldo@user/waldo) (Ping timeout: 268 seconds) |
| 21:38:25 | → | fendor joins (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 21:40:48 | → | waldo joins (~waldo@user/waldo) |
| 21:42:05 | × | danse-nr3 quits (~danse@151.57.245.167) (Ping timeout: 256 seconds) |
| 21:43:50 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:57:01 | × | takuan_dozo quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:57:43 | → | willsewell joins (~willsewel@host-2-96-9-150.as13285.net) |
| 22:01:47 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 22:02:28 | → | euleritian joins (~euleritia@dynamic-176-006-187-218.176.6.pool.telefonica.de) |
| 22:05:23 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 264 seconds) |
| 22:09:23 | × | mizlan quits (~mizlan@2607:f010:2a7:1026:1c4d:87e9:4666:5cc3) (Ping timeout: 260 seconds) |
| 22:13:45 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 22:13:51 | → | mizlan joins (~mizlan@wifi-131-179-21-86.host.ucla.edu) |
| 22:14:42 | × | fendor quits (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 22:17:17 | × | mizlan quits (~mizlan@wifi-131-179-21-86.host.ucla.edu) (Remote host closed the connection) |
| 22:21:23 | <haskellbridge> | <Jade> can you not use `StateT` in a `ServerT`with servant? |
| 22:21:29 | × | Ranhir quits (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 22:21:40 | → | mizlan joins (~mizlan@wifi-131-179-21-86.host.ucla.edu) |
| 22:22:35 | × | mizlan quits (~mizlan@wifi-131-179-21-86.host.ucla.edu) (Remote host closed the connection) |
| 22:23:12 | → | mizlan joins (~mizlan@2607:f010:2e9:b:2111:fd0f:9e73:cbbb) |
| 22:23:42 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 22:23:51 | × | euleritian quits (~euleritia@dynamic-176-006-187-218.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 22:24:08 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 22:28:21 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:28:26 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Remote host closed the connection) |
| 22:34:50 | × | willsewell quits (~willsewel@host-2-96-9-150.as13285.net) (Read error: Connection reset by peer) |
| 22:34:55 | → | willsewell_ joins (~willsewel@185.195.232.133) |
| 22:39:32 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 22:39:35 | <Axman6> | Jade: what would you expect to happen when two connections change the state concurrently? |
| 22:44:55 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 22:46:34 | <haskellbridge> | <Jade> Yeah I think I get it now |
| 22:46:55 | <haskellbridge> | <Jade> I think my best bet is to `IORef`/`TVar`/`MVar` in a `ReaderT` |
| 22:47:32 | <Axman6> | IORef with atomicModifyIORef can work very well, means all your updates can be pure functions |
| 22:50:23 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 22:51:09 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 22:52:21 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:59:21 | × | willsewell_ quits (~willsewel@185.195.232.133) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 23:06:07 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 23:06:55 | <haskellbridge> | <Jade> mhm |
| 23:07:00 | <haskellbridge> | <Jade> thank you |
| 23:08:27 | → | dodoyada joins (~dodoyada@pool-71-178-11-160.washdc.fios.verizon.net) |
| 23:10:59 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 23:12:52 | <EvanR> | haskell would never be caught using OOP with mutable state. We use IORef in a ReaderT. Totally different |
| 23:14:44 | <haskellbridge> | <Jade> I do still think it gives more control, atleast to an extend |
| 23:14:49 | <haskellbridge> | <Jade> maybe that's just bias though lol |
| 23:16:15 | × | mizlan quits (~mizlan@2607:f010:2e9:b:2111:fd0f:9e73:cbbb) (Remote host closed the connection) |
| 23:17:42 | × | acidjnk quits (~acidjnk@p200300d6e737e785eca59ab302ca347d.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 23:18:08 | <c_wraith> | I mean, I wouldn't even call it wrong. Or right. |
| 23:18:20 | <c_wraith> | I don't really think mutability and OOP are that closely related |
| 23:18:32 | <c_wraith> | We use records of functions instead of OOP. totally different! |
| 23:20:15 | <haskellbridge> | <Jade> I officially have a working cache: https://paste.tomsmeding.com/C5xkv1Kh |
| 23:20:27 | <haskellbridge> | <Jade> That took way too long and the code is way too ugly, but it works |
| 23:24:49 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:25:47 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 23:30:23 | <Axman6> | Jade: I would make a function which is basicsally State's modify :: (a -> a) -> App a |
| 23:32:00 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 23:32:20 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 23:32:27 | <EvanR> | which does what, return the original value? |
| 23:32:32 | <EvanR> | or the new value |
| 23:32:36 | <Axman6> | returns the new value |
| 23:32:48 | <Axman6> | use modify id to get the current state |
| 23:32:51 | → | chiselfu1e joins (~chiselfus@user/chiselfuse) |
| 23:33:22 | <Axman6> | I'd also define modify' :: (a -> (a,b)) -> App b |
| 23:40:11 | → | TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com) |
| 23:40:47 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 23:42:10 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 23:48:46 | × | jargon quits (~jargon@13.sub-174-205-175.myvzw.com) (Remote host closed the connection) |
| 23:49:14 | → | jargon joins (~jargon@13.sub-174-205-175.myvzw.com) |
| 23:51:27 | × | sudden quits (~cat@user/sudden) (Ping timeout: 255 seconds) |
| 23:55:23 | → | Sgeo joins (~Sgeo@user/sgeo) |
All times are in UTC on 2024-02-15.