| 2023-07-22 00:00:44 +0000 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-22 00:01:34 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-07-22 00:07:09 +0000 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-22 00:07:09 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-07-22 00:07:09 +0000 | Feuermagier_ | Feuermagier |
| 2023-07-22 00:07:34 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-07-22 00:12:09 +0000 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-22 00:13:58 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-22 00:14:57 +0000 | img | (~img@user/img) |
| 2023-07-22 00:20:02 +0000 | <edwardk> | johnw: decided to finally stop playing around with coq and learn haskell for real, huh? |
| 2023-07-22 00:23:53 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 00:24:43 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 00:41:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-22 00:44:34 +0000 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-22 00:45:13 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 00:48:48 +0000 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-22 00:52:50 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-22 00:54:35 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-07-22 01:00:42 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 01:00:42 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 01:00:42 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 01:00:49 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-22 01:01:29 +0000 | dobblego | dibblego |
| 2023-07-22 01:11:04 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-22 01:17:11 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-22 01:28:27 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds) |
| 2023-07-22 01:29:25 +0000 | <johnw> | jackdk: no functional background |
| 2023-07-22 01:29:34 +0000 | <johnw> | edwardk: lol, awesome |
| 2023-07-22 01:29:58 +0000 | <johnw> | I only learned Coq to give definite shape to the Haskell-shaped void in my mind |
| 2023-07-22 01:40:32 +0000 | ft | (~ft@p508db1fa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-22 01:42:38 +0000 | ft | (~ft@p508db95a.dip0.t-ipconnect.de) |
| 2023-07-22 01:44:48 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-22 01:46:17 +0000 | phma | (~phma@host-67-44-208-146.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-22 01:46:42 +0000 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 01:54:11 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-07-22 01:54:24 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-07-22 01:59:27 +0000 | flounders | (~flounders@24.246.133.1) (Ping timeout: 244 seconds) |
| 2023-07-22 02:01:15 +0000 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Ping timeout: 246 seconds) |
| 2023-07-22 02:05:57 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 02:15:26 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 02:16:28 +0000 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 02:16:55 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 240 seconds) |
| 2023-07-22 02:19:34 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 02:20:45 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-22 02:22:52 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 02:22:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-22 02:22:52 +0000 | finn_elija | FinnElija |
| 2023-07-22 02:24:06 +0000 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 252 seconds) |
| 2023-07-22 02:25:59 +0000 | td_ | (~td@i53870914.versanet.de) |
| 2023-07-22 02:27:31 +0000 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Read error: Connection reset by peer) |
| 2023-07-22 02:28:00 +0000 | phma | (~phma@host-67-44-208-146.hnremote.net) |
| 2023-07-22 02:32:30 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 02:37:04 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 02:38:14 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-22 02:39:11 +0000 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2023-07-22 02:40:00 +0000 | bilegeek | (~bilegeek@2600:1008:b082:e852:7feb:f111:cea2:db23) |
| 2023-07-22 02:40:53 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 02:40:53 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 02:40:53 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 02:41:06 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-22 02:44:39 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-07-22 02:46:31 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-22 02:49:48 +0000 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-22 02:50:14 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-07-22 02:55:26 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-07-22 02:56:25 +0000 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-22 02:56:41 +0000 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 245 seconds) |
| 2023-07-22 02:56:57 +0000 | dsrt^ | (~cd@24.125.210.85) (Remote host closed the connection) |
| 2023-07-22 02:57:15 +0000 | dsrt^ | (~cd@24.125.210.85) |
| 2023-07-22 02:58:50 +0000 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-07-22 03:02:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-22 03:03:38 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-22 03:18:46 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-22 03:23:30 +0000 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 250 seconds) |
| 2023-07-22 03:28:32 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-07-22 03:28:52 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-07-22 03:36:11 +0000 | aforemny | (~aforemny@i59F516F8.versanet.de) |
| 2023-07-22 03:36:35 +0000 | aforemny_ | (~aforemny@i59F516D0.versanet.de) (Ping timeout: 244 seconds) |
| 2023-07-22 03:39:18 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 03:44:09 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 03:53:12 +0000 | phma | (~phma@host-67-44-208-146.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-22 03:53:35 +0000 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 03:57:46 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 04:02:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 04:02:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 04:02:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 04:14:06 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 2023-07-22 04:16:49 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-22 04:22:03 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 04:22:39 +0000 | Inst__ | (~Inst@2601:6c4:4081:2fc0:98b6:3d46:5832:2eef) (Ping timeout: 260 seconds) |
| 2023-07-22 04:26:28 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 04:26:28 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 04:26:28 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 04:35:51 +0000 | razetime | (~quassel@117.193.0.58) |
| 2023-07-22 04:37:33 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 04:41:54 +0000 | razetime | (~quassel@117.193.0.58) (Ping timeout: 260 seconds) |
| 2023-07-22 04:42:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 04:42:39 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 04:42:39 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 05:07:48 +0000 | trev | (~trev@user/trev) |
| 2023-07-22 05:08:51 +0000 | razetime | (~quassel@117.193.0.58) |
| 2023-07-22 05:10:15 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-22 05:12:46 +0000 | bilegeek | (~bilegeek@2600:1008:b082:e852:7feb:f111:cea2:db23) (Quit: Leaving) |
| 2023-07-22 05:16:54 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 2023-07-22 05:25:47 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 05:30:24 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-22 05:32:41 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:32:58 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:34:35 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:34:52 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:35:46 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-22 05:36:22 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:36:39 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:38:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:38:27 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:38:54 +0000 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-22 05:40:00 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:40:17 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:41:08 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-22 05:41:54 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:42:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:43:42 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:43:59 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:45:29 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:45:46 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:47:04 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:47:20 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:48:56 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:49:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:50:39 +0000 | Qudit | (~user@user/Qudit) |
| 2023-07-22 05:50:47 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:50:50 +0000 | Qudit | (~user@user/Qudit) (Read error: Connection reset by peer) |
| 2023-07-22 05:51:04 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:52:41 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:52:56 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:53:44 +0000 | Qudit | (~user@user/Qudit) |
| 2023-07-22 05:54:07 +0000 | CiaoSen | (~Jura@2a05:5800:2a6:6d00:664b:f0ff:fe37:9ef) |
| 2023-07-22 05:54:26 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:54:43 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:55:57 +0000 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:f0ec:6c5a:a5bd:1b2) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-07-22 05:56:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:56:17 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-07-22 05:56:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:56:41 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 05:58:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 05:58:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 05:58:36 +0000 | CiaoSen | (~Jura@2a05:5800:2a6:6d00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-07-22 06:00:08 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:00:13 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 06:00:24 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:01:57 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:02:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:03:52 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:04:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:05:32 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:05:48 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:07:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:07:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:08:46 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:09:01 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:10:40 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:10:56 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:12:21 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:12:38 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:14:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:14:16 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-22 06:14:31 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:15:58 +0000 | legacy | (~legacy@92-249-194-106.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 06:16:09 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:16:24 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:16:47 +0000 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 06:17:35 +0000 | legacy | (~legacy@176-241-62-246.pool.digikabel.hu) |
| 2023-07-22 06:18:01 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:18:18 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:19:51 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:20:08 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:20:22 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 06:20:23 +0000 | nick4 | (~nick@2600:8807:9084:7800:99b:f00:aec6:43d1) (Ping timeout: 264 seconds) |
| 2023-07-22 06:21:35 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:21:51 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:23:18 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:23:31 +0000 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-22 06:23:35 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:24:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 06:24:41 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 06:24:42 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 06:24:58 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2023-07-22 06:25:16 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:26:38 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:26:54 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:28:21 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:28:36 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:29:49 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:30:06 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:31:26 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:31:42 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:33:14 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:33:31 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:34:53 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:35:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:35:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-22 06:36:40 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:36:56 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:37:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-22 06:38:19 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:38:21 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 06:38:21 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 06:38:21 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 06:38:35 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:39:56 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:39:57 +0000 | <Unicorn_Princess> | i've got a simple homebrew units (kilograms, seconds,..) typeclass, where each dimension (mass, length..) is its own type. works well enough, but numeric operations on them are awkward, since e.g. Mass+Mass=Mass, Mass*Float=Float, Mass/Mass=Float, Mass*Length=compile error, which means i can't make them part of the Num typeclass. is there an existing numeric typeclass that could help me, or do I just roll my own? |
| 2023-07-22 06:40:12 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:41:43 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:42:00 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:43:29 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:43:45 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:45:12 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:45:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:46:51 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:47:07 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:48:16 +0000 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 244 seconds) |
| 2023-07-22 06:48:22 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-22 06:48:30 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:48:46 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:50:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:50:29 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:50:39 +0000 | <probie> | If I've got two types `data Foo = Foo1 | Foo2 Bar; data Bar = Bar1 | Bar2 Foo` and want to get rid of the recursion, is there a better way than `type data FooOrBar = Foo | Bar; data FooBar (t :: FooOrBar) (r :: FooOrBar -> Type) where { Foo1 :: FooBar Foo r; Foo2 :: r Bar -> FooBar Foo r; Bar1 :: FooBar Bar r; Bar2 :: r Foo -> FooBar Bar r }`? |
| 2023-07-22 06:51:59 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:52:13 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:53:22 +0000 | <probie> | I guess I can probably have the non-recursive `Foo` and `Bar` be separate types instead of unpacking their constructors, but I think I probably still need a GADT for the mutually recursive group |
| 2023-07-22 06:53:27 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:53:44 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:55:08 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:55:24 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:56:49 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:56:58 +0000 | acidjnk | (~acidjnk@p200300d6e7072f00ad426ee772be6902.dip0.t-ipconnect.de) |
| 2023-07-22 06:57:06 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 06:58:12 +0000 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-07-22 06:58:32 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 06:58:49 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:00:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:00:26 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:01:53 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:02:09 +0000 | mauke | (~mauke@user/mauke) |
| 2023-07-22 07:02:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:03:33 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:03:50 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:05:12 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:05:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:05:40 +0000 | energizer_ | energizer |
| 2023-07-22 07:07:01 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:07:18 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:07:30 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-22 07:08:49 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:09:05 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:10:16 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:10:23 +0000 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 07:10:33 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:12:07 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:12:16 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 07:12:23 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:13:55 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:14:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:15:43 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:16:00 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:16:10 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 07:16:30 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-22 07:17:18 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 07:17:26 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:17:42 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:19:10 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:19:27 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:20:34 +0000 | legacy | (~legacy@176-241-62-246.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 07:20:49 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-22 07:20:54 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:21:04 +0000 | titiband1t | (~titibandi@user/titibandit) |
| 2023-07-22 07:21:11 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:21:50 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-07-22 07:22:08 +0000 | legacy | (~legacy@87-97-82-136.pool.digikabel.hu) |
| 2023-07-22 07:22:40 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:22:57 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:24:28 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:24:36 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-22 07:24:44 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:26:07 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:26:21 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:26:22 +0000 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-07-22 07:26:39 +0000 | jrm | (~jrm@user/jrm) |
| 2023-07-22 07:27:09 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-22 07:27:41 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:27:58 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:29:29 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:29:46 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:30:15 +0000 | titiband1t | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-22 07:30:23 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 07:30:23 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 07:30:23 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 07:31:14 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:31:30 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:32:26 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-22 07:33:02 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:33:18 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:34:46 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-07-22 07:34:49 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:35:04 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:35:41 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-22 07:36:34 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:36:50 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:37:29 +0000 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-22 07:38:24 +0000 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:40:00 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 07:40:27 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 07:45:17 +0000 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 07:47:39 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 07:49:34 +0000 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-22 07:54:22 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-22 07:58:01 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-07-22 08:00:01 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-22 08:04:48 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 08:04:48 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 08:04:49 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 08:06:00 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-22 08:07:57 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) |
| 2023-07-22 08:09:52 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) |
| 2023-07-22 08:10:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-22 08:11:40 +0000 | legacy | (~legacy@87-97-82-136.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 08:12:29 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) (Ping timeout: 260 seconds) |
| 2023-07-22 08:13:22 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 08:13:22 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 08:13:22 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 08:13:28 +0000 | legacy | (~legacy@84-236-60-65.pool.digikabel.hu) |
| 2023-07-22 08:14:52 +0000 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 08:15:43 +0000 | arahael_ | (~arahael@1.145.19.37) |
| 2023-07-22 08:22:02 +0000 | acidjnk | (~acidjnk@p200300d6e7072f00ad426ee772be6902.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-22 08:26:33 +0000 | acidjnk | (~acidjnk@p200300d6e7072f001cede2166f9d501c.dip0.t-ipconnect.de) |
| 2023-07-22 08:40:42 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 08:42:08 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-22 08:47:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-22 08:52:09 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 08:57:12 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-07-22 09:03:38 +0000 | arizona | (~arizona@bcdcac82.skybroadband.com) (Ping timeout: 244 seconds) |
| 2023-07-22 09:04:06 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 09:06:17 +0000 | Alex_test | (~al_test@178.34.162.202) (Quit: ;-) |
| 2023-07-22 09:06:41 +0000 | AlexZenon | (~alzenon@178.34.162.202) (Quit: ;-) |
| 2023-07-22 09:06:46 +0000 | AlexNoo | (~AlexNoo@178.34.162.202) (Quit: Leaving) |
| 2023-07-22 09:08:29 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 09:10:54 +0000 | ddrone[m] | (~ddronemat@2001:470:69fc:105::3:70d5) (Remote host closed the connection) |
| 2023-07-22 09:15:56 +0000 | arizona | (~arizona@bcdcac82.skybroadband.com) |
| 2023-07-22 09:19:08 +0000 | legacy | (~legacy@84-236-60-65.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 2023-07-22 09:21:01 +0000 | legacy | (~legacy@178-164-188-64.pool.digikabel.hu) |
| 2023-07-22 09:22:41 +0000 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-22 09:24:18 +0000 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 244 seconds) |
| 2023-07-22 09:29:07 +0000 | ubert1 | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) |
| 2023-07-22 09:31:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-07-22 09:32:47 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-22 09:35:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-22 09:35:40 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-22 09:38:52 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-22 09:39:03 +0000 | ripspin | (~chatzilla@1.145.155.12) |
| 2023-07-22 09:39:06 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-07-22 09:41:41 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-22 09:45:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-22 09:51:38 +0000 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-22 09:56:39 +0000 | tremon | (~tremon@83.80.159.219) |
| 2023-07-22 09:58:41 +0000 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-22 10:00:17 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 10:02:02 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-07-22 10:02:29 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-22 10:03:54 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2023-07-22 10:05:45 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-22 10:09:11 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2023-07-22 10:20:19 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 10:22:23 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-22 10:28:59 +0000 | legacy | (~legacy@178-164-188-64.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 10:30:42 +0000 | legacy | (~legacy@178-164-207-77.pool.digikabel.hu) |
| 2023-07-22 10:32:46 +0000 | <arahael_> | Happy I got a chance to play with an 'Html Monad" today with the time I have on the train :) |
| 2023-07-22 10:33:21 +0000 | <arahael_> | Defined a data type, for Html. Wrapped it up in a Free Monad, and then wrote an interpreter that interprets it back out into an "html file", though I just used "show", as I just wanted a proof of concept. |
| 2023-07-22 10:33:56 +0000 | <arahael_> | Lets me do things like this: someHtml = h1 "Hello There" >> h2 "Hello Again" >> Main.div "Prefix" (H2 "Hello there") "Postfix" |
| 2023-07-22 10:34:41 +0000 | <arahael_> | (But with do notation as well) - not a pragmatic choice, though, there's dozens of good html and xml quasi-quoters that do a far better and more consistent job, though, but it was fun and an accompolishment. |
| 2023-07-22 10:35:54 +0000 | <jade[m]> | hm, a lawful monad? |
| 2023-07-22 10:36:13 +0000 | <arahael_> | I'm not sure exactly what that means but it seems to be a proper monad, yes. |
| 2023-07-22 10:37:14 +0000 | <ncf> | seems dubious |
| 2023-07-22 10:37:18 +0000 | <jade[m]> | I'm asking because the abstractions I have seen previously simply used () as the contained type and only made a monad instance for being able to use do notation |
| 2023-07-22 10:37:51 +0000 | <jade[m]> | the thing is that Html a doesn't really make sense because Html doesn't encapsulate anything |
| 2023-07-22 10:37:59 +0000 | <ncf> | yeah, if you only use m () you're basically using a monoid, not a monad |
| 2023-07-22 10:38:07 +0000 | <jade[m]> | yep |
| 2023-07-22 10:38:35 +0000 | <arahael_> | Yeah, I had to define a Functor that wraps it, by using `data HtmlF a = HtmlF a Html`. |
| 2023-07-22 10:39:06 +0000 | <jade[m]> | oh, so it's basically just disregarding the value |
| 2023-07-22 10:39:12 +0000 | <arahael_> | So Html, HtmlF, and `Free HtmlF` are the main types involved. |
| 2023-07-22 10:39:49 +0000 | <arahael_> | jade[m]: It doesn't disregard the value, the value is required for interpreting the free monad. |
| 2023-07-22 10:40:20 +0000 | <ncf> | so you're just using the free monoid over Html, i.e. [Html] |
| 2023-07-22 10:40:45 +0000 | <ncf> | someHtml = [h1 "Hello There", h2 "Hello Again", Main.div "Prefix" (h2 "Hello there) "Postfix"] |
| 2023-07-22 10:41:07 +0000 | <arahael_> | ncf: Hmm, yes, I could've done it with [Html]. |
| 2023-07-22 10:41:44 +0000 | <arahael_> | Maybe I should try that as well just to try it out, I'm still playing aroun. |
| 2023-07-22 10:43:13 +0000 | <arahael_> | (Should be pretty easy actually: List has a Functor implementation, I believe) |
| 2023-07-22 10:43:21 +0000 | <arahael_> | *Functor Instance, rather. |
| 2023-07-22 10:43:21 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2023-07-22 10:47:15 +0000 | Vajb | (~Vajb@2001:999:704:d437:7906:1cd4:b5ab:684f) (Ping timeout: 258 seconds) |
| 2023-07-22 10:47:19 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-22 10:48:37 +0000 | <arahael_> | ncf: This is the guide I'm using: https://serokell.io/blog/introduction-to-free-monads |
| 2023-07-22 10:48:52 +0000 | <arahael_> | It's a bit out of date but still pretty good. |
| 2023-07-22 10:49:43 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) |
| 2023-07-22 10:50:08 +0000 | <arahael_> | The idea isn't really for HTML, but to provide an arbitruary DSL. |
| 2023-07-22 10:51:17 +0000 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 10:52:02 +0000 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2023-07-22 10:52:23 +0000 | micro | (~micro@user/micro) (Remote host closed the connection) |
| 2023-07-22 10:55:03 +0000 | <arahael_> | ncf: For example, consider someHtml 0 = pure (); someHtml a = h1 "Hello There" >> someHtml (a-1) |
| 2023-07-22 10:55:04 +0000 | <ncf> | "Part 2" in https://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html might be relevant - your HtmlF functor is basically ((,) Html), so the free monad over that essentially gives you Writer [Html], and if you use that at () you basically just get a way of writing [Html] values in do notation. in general, what you've made is a DSL that lets you write Html values and return a |
| 2023-07-22 10:55:04 +0000 | <ncf> | final value, but has no other effects |
| 2023-07-22 10:55:34 +0000 | <arahael_> | I'll give that a read, then! |
| 2023-07-22 10:55:47 +0000 | <ncf> | arahael_: seems like a slightly convoluted way of writing someHtml n = replicate n (h1 "Hello There") |
| 2023-07-22 10:56:10 +0000 | <ncf> | (also, aren't you masking the fact that you have to write newtype wrappers around your h1, h2, etc?) |
| 2023-07-22 10:56:16 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-22 10:56:50 +0000 | <arahael_> | ncf: Yeah, it's two lines, effectively, per html element. This is just playing around, not to make something pragmatic. I only support like 3 Html types for a reason. |
| 2023-07-22 10:57:00 +0000 | <arahael_> | (H1, H2, and Div). |
| 2023-07-22 10:59:55 +0000 | <jade[m]> | im writing a html blog thingy right now which just uses lists |
| 2023-07-22 11:00:04 +0000 | <jade[m]> | works pretty well, but isn't as "fancy" |
| 2023-07-22 11:00:34 +0000 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 11:04:22 +0000 | arahael_ | (~arahael@1.145.19.37) (Ping timeout: 260 seconds) |
| 2023-07-22 11:05:29 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 11:05:34 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 11:06:08 +0000 | arahael_ | (~arahael@1.145.108.254) |
| 2023-07-22 11:06:22 +0000 | <arahael_> | Appologies, I'm on a train, my internet is very spotty. |
| 2023-07-22 11:06:39 +0000 | micro | (~micro@user/micro) |
| 2023-07-22 11:09:50 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 11:09:50 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 11:09:50 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 11:10:12 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-07-22 11:10:38 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-22 11:12:12 +0000 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-07-22 11:12:59 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-07-22 11:15:54 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 11:17:34 +0000 | arahael_ | (~arahael@1.145.108.254) (Quit: leaving) |
| 2023-07-22 11:17:40 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 11:22:04 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 11:22:23 +0000 | <danza> | jade[m], have you got plans about integrating user feedback? That seems to be a limitation in technologies like hakyll, that focus on static generation and do not include a server |
| 2023-07-22 11:22:37 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-22 11:23:38 +0000 | <jade[m]> | danza: I might? Right now I'm just working on this for personal reasons without any intentions to make a library of framework |
| 2023-07-22 11:23:56 +0000 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 11:24:16 +0000 | <jade[m]> | just a small static site for blogs + about me thingy + maybe art/poetry |
| 2023-07-22 11:24:22 +0000 | <probie> | I think I'm missing context, but can't people just email feedback? |
| 2023-07-22 11:25:18 +0000 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-07-22 11:25:24 +0000 | <jade[m]> | I suppose so? I think they meant something like a comment section on a blog |
| 2023-07-22 11:25:53 +0000 | <mauke> | oh, a guestbook |
| 2023-07-22 11:25:59 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 11:29:18 +0000 | razetime | (~quassel@117.193.0.58) (Remote host closed the connection) |
| 2023-07-22 11:31:41 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-07-22 11:31:42 +0000 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 11:33:48 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-07-22 11:34:49 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 11:34:56 +0000 | <danza> | sigh, shitty connection, luckily this is logged. Let me reply while i have the chance. Yeah mail is an option, but not the best accessibility. I just wonder, if one wanted to have a modern comment section, which technology would be most convenient. Probably something that helps with authentication from social media |
| 2023-07-22 11:35:48 +0000 | <mauke> | just integrate ActivityPub directly |
| 2023-07-22 11:37:07 +0000 | <danza> | ActivityPub? Let me look it up |
| 2023-07-22 11:39:01 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
| 2023-07-22 11:39:22 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-22 11:39:32 +0000 | <ncf> | mauke: how would that work? |
| 2023-07-22 11:39:37 +0000 | <danza> | found a single lib on hackage https://hackage.haskell.org/package/activitypub |
| 2023-07-22 11:39:37 +0000 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 11:39:59 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 11:41:10 +0000 | <danza> | ncf, here some background https://en.wikipedia.org/wiki/ActivityPub |
| 2023-07-22 11:41:20 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-22 11:41:43 +0000 | <ncf> | i'm familiar with activitypub, i'm asking how a comment section based on it would work |
| 2023-07-22 11:42:50 +0000 | <ncf> | not sure if mauke had something specific in mind |
| 2023-07-22 11:43:54 +0000 | <probie> | > I just wonder, if one wanted to have a modern comment section, which technology would be most convenient. Probably something that helps with authentication from social media |
| 2023-07-22 11:43:55 +0000 | <lambdabot> | <hint>:1:14: error: parse error on input ‘,’ |
| 2023-07-22 11:43:56 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-22 11:43:56 +0000 | <probie> | I sometimes comment on blog posts, but have no presence on social media, not even the fediverse |
| 2023-07-22 11:44:45 +0000 | <jade[m]> | me neither, and im very happy about that |
| 2023-07-22 11:45:01 +0000 | <probie> | A mailing list with an archive is accessible to anyone with a browser and email address and require no sign up |
| 2023-07-22 11:45:23 +0000 | <probie> | s/require no/requires no/ |
| 2023-07-22 11:45:42 +0000 | <[exa]> | probie: for like 20+ years I'm now naively waiting for one which just accepts gpg signed stuff |
| 2023-07-22 11:45:44 +0000 | biberu | (~biberu@user/biberu) |
| 2023-07-22 11:46:37 +0000 | <danza> | if the protocol allows getting user info in some convenient way ... there still seems to be quite some development needed for an usable comment widget. I think i could prefer something not authenticated that just makes the experience more accessible out of the box |
| 2023-07-22 11:46:48 +0000 | <Rembane> | gpg over oauth? |
| 2023-07-22 11:46:50 +0000 | Rembane | hand waves |
| 2023-07-22 11:47:04 +0000 | <Rembane> | It probably doesn't exist |
| 2023-07-22 11:47:10 +0000 | <Rembane> | WOuld be neat in a cursed way though |
| 2023-07-22 11:51:32 +0000 | <probie> | danza: the widget just needs a button with a `mailto` link |
| 2023-07-22 11:52:11 +0000 | <danza> | i tried with the fediverse but found it a bit limited and error-prone (milieu was mastodon & web interfaces) |
| 2023-07-22 11:52:24 +0000 | flounders | (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
| 2023-07-22 11:53:40 +0000 | <probie> | rendering a mailing list archive into a comment section is admittedly some work, but probably not hugely painful (although some comments might be very large) |
| 2023-07-22 11:54:20 +0000 | <danza> | yeah and then you need to write the logic to sync with a mail server |
| 2023-07-22 11:54:27 +0000 | <danza> | probie, that would not make comments visible in the page, plus technology nowadays is not that convenient with those kind of links. Many times i have been annoyed by how the browser (or the system) managed them. I would just say anonymous comments with an option to add mail address or other contact, since we do not have better tools |
| 2023-07-22 11:54:52 +0000 | <danza> | (oh sorry the first part of this message was written before your other mes) |
| 2023-07-22 11:56:47 +0000 | <danza> | but well, to wrap the conversation, i mentioned this to jade[m] because if you are rolling out your own it does make a difference to assume a server or not |
| 2023-07-22 11:59:36 +0000 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 12:05:18 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 12:08:44 +0000 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-07-22 12:10:18 +0000 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-22 12:12:55 +0000 | bramhaag | (~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds)) |
| 2023-07-22 12:13:08 +0000 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-07-22 12:15:41 +0000 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 12:17:29 +0000 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 12:21:39 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-07-22 12:29:13 +0000 | marea_ | (~francesco@151.43.153.62) |
| 2023-07-22 12:29:44 +0000 | legacy | (~legacy@178-164-207-77.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 12:30:39 +0000 | danza | (~francesco@151.43.153.62) (Read error: Connection reset by peer) |
| 2023-07-22 12:31:13 +0000 | legacy | (~legacy@178-164-208-215.pool.digikabel.hu) |
| 2023-07-22 12:33:27 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-22 12:36:13 +0000 | marea_ | (~francesco@151.43.153.62) (Read error: Connection reset by peer) |
| 2023-07-22 12:44:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-22 12:45:08 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 12:54:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-22 13:01:21 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 2023-07-22 13:04:05 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 13:12:27 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-22 13:14:09 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-07-22 13:14:23 +0000 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 13:16:48 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-07-22 13:21:16 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-22 13:29:10 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 13:31:34 +0000 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-07-22 13:37:59 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 13:40:01 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 13:44:31 +0000 | andrewboltachev | (~andrey@178.141.125.70) |
| 2023-07-22 13:45:25 +0000 | andrewboltachev | (~andrey@178.141.125.70) (Client Quit) |
| 2023-07-22 13:45:42 +0000 | andrewboltachev | (~andrey@178.141.125.70) |
| 2023-07-22 13:46:41 +0000 | <andrewboltachev> | Hi. I recently had to come across the expression (,) <*> c (where c :: a -> b for some types). I used it in my code: https://github.com/andrewboltachev/matcher/blob/master/src/Logicore/Matcher/Core.hs#L101 |
| 2023-07-22 13:47:28 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 13:47:43 +0000 | <andrewboltachev> | Having (<*>) :: f (a -> b) -> f a -> fb, what's f in case of (,) <*> c? Does it have to do with the Reader functor (aka functor of functions)? |
| 2023-07-22 13:53:28 +0000 | <mauke> | let c :: X -> Y and (<*>) :: f (a -> b) -> f a -> f b in (,) <*> c |
| 2023-07-22 13:53:48 +0000 | <mauke> | then we have f a = X -> Y |
| 2023-07-22 13:54:24 +0000 | <mauke> | and also f (a -> b) = t -> u -> (t, u) |
| 2023-07-22 13:54:49 +0000 | <mauke> | X -> Y is syntactic sugar for (->) X Y, which means ((->) X) Y |
| 2023-07-22 13:55:15 +0000 | <mauke> | unifying with f a gives f = (->) X and a = Y |
| 2023-07-22 13:55:27 +0000 | <andrewboltachev> | yeah... just got to ((->) X) myself too |
| 2023-07-22 13:56:23 +0000 | <mauke> | f (a -> b) = (->) X (a -> b) = X -> a -> b |
| 2023-07-22 13:56:43 +0000 | <mauke> | from which we get X = t, a = u, b = (t, u) |
| 2023-07-22 13:57:17 +0000 | <mauke> | hence f b = (->) X (t, u) = X -> (t, u) |
| 2023-07-22 13:57:37 +0000 | <mauke> | = X -> (X, Y) |
| 2023-07-22 13:57:37 +0000 | <andrewboltachev> | wow... still quite astonishing :D |
| 2023-07-22 13:57:38 +0000 | <andrewboltachev> | thanks |
| 2023-07-22 13:57:56 +0000 | <geekosaur> | the Reader Functor is mindwarping |
| 2023-07-22 13:58:07 +0000 | <mauke> | > (f <*> g) x |
| 2023-07-22 13:58:08 +0000 | <lambdabot> | error: |
| 2023-07-22 13:58:08 +0000 | <lambdabot> | • Could not deduce (Show a0) arising from a use of ‘f’ |
| 2023-07-22 13:58:09 +0000 | <lambdabot> | from the context: FromExpr t |
| 2023-07-22 13:58:25 +0000 | <mauke> | > ((f :: Expr -> Expr -> Expr) <*> g) x |
| 2023-07-22 13:58:26 +0000 | <lambdabot> | f x (g x) |
| 2023-07-22 13:58:52 +0000 | <andrewboltachev> | yet under the hood I believe all that the "monadic"/"functorial" etc operations on Reader functor still are composed from (.) and $ |
| 2023-07-22 13:59:07 +0000 | <ncf> | Reader's <*> is also S from the SKI combinator calculus, while pure is K and ask is I |
| 2023-07-22 13:59:38 +0000 | <andrewboltachev> | e.g. Profunctor uses (.), Functor's fmap is just (.) |
| 2023-07-22 14:01:03 +0000 | <andrewboltachev> | ncf: this one'd be good to learn about after finishing CT book :D |
| 2023-07-22 14:01:41 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 14:01:50 +0000 | <andrewboltachev> | I know there is combinator calculus, where combinators are functions that only re-arrange arguments |
| 2023-07-22 14:01:53 +0000 | <mauke> | it's just S = \f g x -> f x (g x), K = \x y -> x, I = \x -> x |
| 2023-07-22 14:02:04 +0000 | <mauke> | and I is redundant because you can build it from S and K |
| 2023-07-22 14:02:19 +0000 | <mauke> | makes it harder to pronounce, though |
| 2023-07-22 14:02:20 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 14:02:35 +0000 | <ncf> | (the point being that you can translate any untyped lambda-calculus term into one without lambdas that only uses SKI) |
| 2023-07-22 14:03:06 +0000 | <mauke> | down with I! |
| 2023-07-22 14:03:36 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 14:04:12 +0000 | <mauke> | SKK x = K x (K x) = x |
| 2023-07-22 14:04:40 +0000 | <mauke> | :t pure <*> pure |
| 2023-07-22 14:04:41 +0000 | <lambdabot> | error: |
| 2023-07-22 14:04:41 +0000 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘pure’ |
| 2023-07-22 14:04:41 +0000 | <lambdabot> | prevents the constraint ‘(Applicative f0)’ from being solved. |
| 2023-07-22 14:06:44 +0000 | <ncf> | :t pure <*> undefined |
| 2023-07-22 14:06:45 +0000 | <lambdabot> | b -> b |
| 2023-07-22 14:07:23 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-22 14:08:09 +0000 | <mauke> | CYK |
| 2023-07-22 14:08:21 +0000 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 14:10:52 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 14:13:52 +0000 | <andrewboltachev> | Recently created a tool that acts like a lens, without properly knowing that lenses are (and how Profunctors work etc): https://main.andrewboltachev.site/toolbox/json-matcher/40d8efcb-c736-4684-97d9-47ff21fd9e35/2/ |
| 2023-07-22 14:14:05 +0000 | <andrewboltachev> | *what lenses are |
| 2023-07-22 14:14:33 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-22 14:23:14 +0000 | <ncf> | hmm? |
| 2023-07-22 14:26:12 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-22 14:29:13 +0000 | <andrewboltachev> | lens is... a path inside of some deeply nestesd structure. a (contex-free) grammar (schema) describes the structure and can validate it |
| 2023-07-22 14:30:09 +0000 | <andrewboltachev> | my tool is a grammar and a lens (helps to focus on particular parts of the structure) |
| 2023-07-22 14:30:42 +0000 | <andrewboltachev> | focus, then edit, and write back |
| 2023-07-22 14:31:40 +0000 | <andrewboltachev> | perhaps need to blog about that properly (and fix the UI also) |
| 2023-07-22 14:35:18 +0000 | legacy | (~legacy@178-164-208-215.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 14:36:03 +0000 | <andrewboltachev> | ncf: do you agree lenses and grammars have something in common? |
| 2023-07-22 14:36:26 +0000 | <ncf> | everytwothings have something in common |
| 2023-07-22 14:36:45 +0000 | <andrewboltachev> | err true :P |
| 2023-07-22 14:36:46 +0000 | legacy | (~legacy@213-197-76-103.pool.digikabel.hu) |
| 2023-07-22 14:37:21 +0000 | <ncf> | lenses also do not necessarily represent a path in a data structure, although that's the most common use for them |
| 2023-07-22 14:37:36 +0000 | <andrewboltachev> | yes I suspected that in theory it's a bit wider |
| 2023-07-22 14:37:49 +0000 | <andrewboltachev> | as e.g. Profunctor isn't necessary |
| 2023-07-22 14:37:54 +0000 | <andrewboltachev> | (->) |
| 2023-07-22 14:39:01 +0000 | <andrewboltachev> | what I wanted is the tool to read and edit (analyse and refactor) source files (e.g. in Python, which I use a lot at work) |
| 2023-07-22 14:39:28 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-22 14:40:08 +0000 | <andrewboltachev> | having that typical systems (e.g. a web-based CRM system) as they grow, start gaining a lot of similarities in the code (e.g. a number of similar pages/views etc) |
| 2023-07-22 14:41:41 +0000 | <andrewboltachev> | lead me to think that I can use some tool to edit them all at once, in few steps: (1) translate code, the whole concrete syntax tree to JSON (2) apply grammar (schema) to it (3) get sth I call "thin value" from schema (4) edit it (5) write code files back |
| 2023-07-22 14:42:28 +0000 | <andrewboltachev> | Instagram developed this: https://libcst.readthedocs.io/en/latest/ which helps me to transform Python language to JSON and back (lossless) |
| 2023-07-22 14:43:34 +0000 | <andrewboltachev> | I'm using Haskell to deal with it (and saying everyone that I'm proud of that) |
| 2023-07-22 14:43:55 +0000 | <andrewboltachev> | but Instagram starts developing sth called "matchers": https://libcst.readthedocs.io/en/latest/matchers_tutorial.html |
| 2023-07-22 14:43:59 +0000 | <andrewboltachev> | to explore trees of code |
| 2023-07-22 14:44:08 +0000 | <andrewboltachev> | so it's also merely a lens :D |
| 2023-07-22 14:53:21 +0000 | ub | (~Thunderbi@178.165.181.115.wireless.dyn.drei.com) |
| 2023-07-22 14:54:14 +0000 | ubert | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-22 14:54:14 +0000 | ub | ubert |
| 2023-07-22 14:55:11 +0000 | ubert1 | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2023-07-22 14:55:39 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 14:58:43 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-22 14:59:42 +0000 | <ncf> | i'd expect "matchers" to behave more like prisms, if anything |
| 2023-07-22 15:01:40 +0000 | Inst__ | (~Inst@2601:6c4:4081:2fc0:a82c:59d6:de54:3fd2) |
| 2023-07-22 15:03:39 +0000 | titiband1t | (~titibandi@user/titibandit) |
| 2023-07-22 15:04:19 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 260 seconds) |
| 2023-07-22 15:16:33 +0000 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-07-22 15:16:49 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-22 15:17:23 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 15:17:27 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 2023-07-22 15:17:48 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 15:19:09 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 15:22:19 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-22 15:22:42 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-22 15:23:09 +0000 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Remote host closed the connection) |
| 2023-07-22 15:24:08 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-22 15:25:26 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-22 15:25:30 +0000 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 15:29:04 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 15:35:02 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-22 15:35:12 +0000 | legacy | (~legacy@213-197-76-103.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-22 15:37:16 +0000 | legacy | (~legacy@78-131-74-99.pool.digikabel.hu) |
| 2023-07-22 15:37:56 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) (Remote host closed the connection) |
| 2023-07-22 15:39:33 +0000 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-07-22 15:42:20 +0000 | titiband1t | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-07-22 15:43:32 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 15:44:17 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) |
| 2023-07-22 15:45:09 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-22 15:48:11 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 15:51:00 +0000 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2023-07-22 15:51:37 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-22 15:53:10 +0000 | ddellacosta | (~ddellacos@146.70.185.10) |
| 2023-07-22 15:57:29 +0000 | ddellacosta | (~ddellacos@146.70.185.10) (Ping timeout: 244 seconds) |
| 2023-07-22 15:59:29 +0000 | ddellacosta | (~ddellacos@146.70.168.235) |
| 2023-07-22 16:02:39 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-07-22 16:07:28 +0000 | auri | (~auri@fsf/member/auri) (Ping timeout: 250 seconds) |
| 2023-07-22 16:09:47 +0000 | ddellacosta | (~ddellacos@146.70.168.235) (Read error: Connection reset by peer) |
| 2023-07-22 16:10:02 +0000 | isomorpheme[m] | (~isomorphe@2001:470:69fc:105::3:731a) (Remote host closed the connection) |
| 2023-07-22 16:12:20 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-22 16:13:48 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-07-22 16:28:25 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-22 16:34:10 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 244 seconds) |
| 2023-07-22 16:34:51 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-22 16:37:10 +0000 | ripspin | (~chatzilla@1.145.155.12) (Remote host closed the connection) |
| 2023-07-22 16:39:02 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-22 16:43:22 +0000 | ddellacosta | (~ddellacos@146.70.165.10) (Quit: WeeChat 3.8) |
| 2023-07-22 16:44:08 +0000 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-07-22 16:48:04 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 17:07:14 +0000 | legacy | (~legacy@78-131-74-99.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 2023-07-22 17:09:16 +0000 | legacy | (~legacy@92-249-141-221.pool.digikabel.hu) |
| 2023-07-22 17:14:25 +0000 | Alex_test | (~al_test@178.34.162.202) (Ping timeout: 258 seconds) |
| 2023-07-22 17:15:34 +0000 | AlexZenon | (~alzenon@178.34.162.202) (Ping timeout: 258 seconds) |
| 2023-07-22 17:18:29 +0000 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-22 17:21:04 +0000 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-22 17:21:26 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-22 17:22:31 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-07-22 17:28:24 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-22 17:28:33 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 17:28:33 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 17:28:33 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 17:32:53 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-07-22 17:33:45 +0000 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2023-07-22 17:35:46 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 17:35:46 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 17:35:46 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 17:41:10 +0000 | puke | (~puke@user/puke) |
| 2023-07-22 17:45:09 +0000 | tv3n | (~stiv3n@2601:647:8580:f2b0:13bb:a6b3:d300:f3cd) |
| 2023-07-22 17:48:59 +0000 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2023-07-22 18:11:19 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-22 18:15:52 +0000 | legacy | (~legacy@92-249-141-221.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-22 18:17:51 +0000 | legacy | (~legacy@84-236-60-70.pool.digikabel.hu) |
| 2023-07-22 18:23:06 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-22 18:26:27 +0000 | auri | (~auri@fsf/member/auri) |
| 2023-07-22 18:30:03 +0000 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 18:30:03 +0000 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 18:30:03 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 18:39:26 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 18:40:41 +0000 | srk_ | (~sorki@user/srk) |
| 2023-07-22 18:43:29 +0000 | srk | (~sorki@user/srk) (Ping timeout: 246 seconds) |
| 2023-07-22 18:43:31 +0000 | srk_ | srk |
| 2023-07-22 18:44:14 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 18:52:52 +0000 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 245 seconds) |
| 2023-07-22 18:54:55 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-07-22 18:56:34 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2023-07-22 19:01:39 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 19:02:09 +0000 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-07-22 19:11:45 +0000 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2023-07-22 19:14:17 +0000 | legacy | (~legacy@84-236-60-70.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-22 19:14:35 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-22 19:16:20 +0000 | legacy | (~legacy@92-249-179-33.pool.digikabel.hu) |
| 2023-07-22 19:17:05 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-22 19:20:41 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 19:22:31 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Remote host closed the connection) |
| 2023-07-22 19:22:55 +0000 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) |
| 2023-07-22 19:24:29 +0000 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-22 19:25:30 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-22 19:26:52 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-22 19:29:21 +0000 | meta-coder | (~neo@user/meta-coder) |
| 2023-07-22 19:29:36 +0000 | meta-coder | (~neo@user/meta-coder) () |
| 2023-07-22 19:30:05 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-22 19:35:31 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-07-22 19:39:12 +0000 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-22 19:41:41 +0000 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) |
| 2023-07-22 19:42:25 +0000 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) (Client Quit) |
| 2023-07-22 19:42:39 +0000 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) |
| 2023-07-22 19:47:03 +0000 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) (Client Quit) |
| 2023-07-22 19:49:41 +0000 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-07-22 19:53:40 +0000 | legacy | (~legacy@92-249-179-33.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 19:55:27 +0000 | legacy | (~legacy@84-236-21-51.pool.digikabel.hu) |
| 2023-07-22 19:59:17 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-22 20:03:52 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-22 20:05:01 +0000 | Vajb | (~Vajb@2001:999:704:b8c8:e14b:a6fe:34f9:7c8b) |
| 2023-07-22 20:07:18 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-07-22 20:09:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 20:15:38 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-07-22 20:18:55 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-07-22 20:19:51 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-22 20:22:19 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 20:23:06 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-22 20:23:06 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-22 20:23:06 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 20:23:29 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 20:27:15 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 20:36:46 +0000 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-22 20:48:31 +0000 | michalz | (~michalz@185.246.207.197) |
| 2023-07-22 20:48:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-22 21:01:48 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 21:07:41 +0000 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-07-22 21:10:39 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-22 21:10:56 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-22 21:11:43 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-22 21:13:10 +0000 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-07-22 21:18:32 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 246 seconds) |
| 2023-07-22 21:19:28 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2023-07-22 21:21:16 +0000 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-22 21:22:09 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-22 21:23:11 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-22 21:26:28 +0000 | ub | (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) |
| 2023-07-22 21:27:56 +0000 | ubert | (~Thunderbi@178.165.181.115.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2023-07-22 21:27:56 +0000 | ub | ubert |
| 2023-07-22 21:30:18 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2023-07-22 21:30:46 +0000 | <Hecate> | Is someone here knowledgeable about the Haskell FFI and using pointers with a C library? I'm hitting a roadblock with my tests on https://github.com/haskell-cryptography/libsodium-bindings/pull/94 |
| 2023-07-22 21:30:52 +0000 | <Hecate> | and I'm super unsure how to investigate |
| 2023-07-22 21:31:11 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-07-22 21:31:14 +0000 | <Hecate> | like, do I whip up gdb? should I? |
| 2023-07-22 21:35:13 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-07-22 21:36:29 +0000 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-07-22 21:42:23 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 21:44:33 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 21:49:26 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-22 21:53:21 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-22 21:54:47 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:d6d4:9b50:3607:773c) (Remote host closed the connection) |
| 2023-07-22 21:55:01 +0000 | acidjnk | (~acidjnk@p200300d6e7072f001cede2166f9d501c.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-07-22 21:55:16 +0000 | travisb_ | (~travisb@2600:1700:7990:24e0:a3e2:8ce:b0a3:7ccb) |
| 2023-07-22 21:57:03 +0000 | <dsal> | Does anyone use vs code with ligatures and stuff? I actually have no idea how this works. It's drawing `<>=` as `<≥` and I kind of don't like that. |
| 2023-07-22 21:59:10 +0000 | <dolio> | What editor? |
| 2023-07-22 22:00:23 +0000 | <dsal> | Visual Studio Code |
| 2023-07-22 22:00:46 +0000 | <dsal> | I'm mostly emacsian, but I've been using it more lately. It sometimes does useful stuff, but I don't actually know how most of it works. |
| 2023-07-22 22:01:00 +0000 | <dolio> | Well, emacs is the only thing I can think of that might let you fix it. |
| 2023-07-22 22:01:37 +0000 | <dolio> | Emacs makes you explicitly list all the sequences you want turned into ligatures, so maybe if you list that sequence, it will try to use a dedicated ligature, and presumably there isn't one. |
| 2023-07-22 22:01:38 +0000 | <dsal> | It's just a display thing. Sometimes it's nice. |
| 2023-07-22 22:01:47 +0000 | <probie> | Does it do weird spacing around ≥ so it's still 3 characters long? |
| 2023-07-22 22:02:19 +0000 | <dolio> | But I'm not 100% sure that will work either. |
| 2023-07-22 22:02:19 +0000 | <probie> | (3 characters long in `<>=`/`<≥`) |
| 2023-07-22 22:02:48 +0000 | <dolio> | Yeah, most coding fonts with ligatures are designed to preserve spacing. |
| 2023-07-22 22:03:08 +0000 | <dsal> | It lays out pretty correctly. I'm just not sure how to override this substitution. https://usercontent.irccloud-cdn.com/file/GL5UDYR2/%3C%24%3E.png |
| 2023-07-22 22:03:34 +0000 | <dolio> | I'm not sure if VS code lets you do something similar. Vim doesn't, as far as I know. |
| 2023-07-22 22:03:47 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 22:04:03 +0000 | <dolio> | Er, I guess I'm thinking of a particular vim UI I use. Otherwise it'd depend on your console or whatever. |
| 2023-07-22 22:06:42 +0000 | qrst | (~qrst@user/qrst) |
| 2023-07-22 22:07:18 +0000 | qrst | (~qrst@user/qrst) (Client Quit) |
| 2023-07-22 22:07:32 +0000 | <Lycurgus> | html vs what a native gui can do |
| 2023-07-22 22:09:30 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-22 22:10:27 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-22 22:10:47 +0000 | Claro | (~claro@user/Claro) (Remote host closed the connection) |
| 2023-07-22 22:12:35 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds) |
| 2023-07-22 22:13:42 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2023-07-22 22:14:57 +0000 | <geekosaur> | https://github.com/CoenraadS/vscode-Disable-Ligatures/issues/2 might have some useful hints? |
| 2023-07-22 22:15:06 +0000 | qrst | (~qrst@user/qrst) |
| 2023-07-22 22:15:12 +0000 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokephale) |
| 2023-07-22 22:15:55 +0000 | qrst | (~qrst@user/qrst) (Client Quit) |
| 2023-07-22 22:16:20 +0000 | <dsal> | Oh nice. Yeah, this is helpful. I also noticed in some aeson code it changed `.!=` to `.≠` |
| 2023-07-22 22:16:29 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-22 22:17:57 +0000 | qrst | (~qrst@user/qrst) |
| 2023-07-22 22:18:39 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 22:20:10 +0000 | <dsal> | This looks like it's someone saying "this should work" Which, yeah, that'd be cool. |
| 2023-07-22 22:20:59 +0000 | <geekosaur> | the top is about that, the middle is "oh lemme write that and make a pull request", the bottom is a few people having problems with it and many others happy with it |
| 2023-07-22 22:21:37 +0000 | <geekosaur> | what I'm not sure of is whether it works to prevent a ligature in the middle of another sequence, or just kills the ligature completely |
| 2023-07-22 22:22:42 +0000 | <geekosaur> | I also found a ticket from 2022 when it got broken by an Electron upgrade, but it was subsequently fixed |
| 2023-07-22 22:23:12 +0000 | <geekosaur> | it also mentioned a different extension, Ligatures Limited |
| 2023-07-22 22:24:15 +0000 | <dsal> | I should probably not miss my flight trying to figure out a minor display problem. heh |
| 2023-07-22 22:24:18 +0000 | <dsal> | Thanks for the pointer, though. |
| 2023-07-22 22:27:32 +0000 | <geekosaur> | @tell dsal also there's a pointer somewhere in the middle to discussion of how to modify ligature fonts directly, which might let you define the larger token as a dummy ligature or something? |
| 2023-07-22 22:27:32 +0000 | <lambdabot> | Consider it noted. |
| 2023-07-22 22:28:10 +0000 | <geekosaur> | https://github.com/tonsky/FiraCode/wiki/How-to-enable-stylistic-sets |
| 2023-07-22 22:28:35 +0000 | <geekosaur> | @tell dsal https://github.com/tonsky/FiraCode/wiki/How-to-enable-stylistic-sets |
| 2023-07-22 22:28:35 +0000 | <lambdabot> | Consider it noted. |
| 2023-07-22 22:29:00 +0000 | <geekosaur> | won't help if you're using a different font of course, unless they did something similar |
| 2023-07-22 22:30:52 +0000 | <mauke> | https://www.coderelay.io/fontemon.html |
| 2023-07-22 22:34:44 +0000 | <dolio> | Does the font not contain information about this? Like, on a mac, if you type 'supercalaZapfinofrajalistic' in the Zapfino font, does it ligature-ize the Zapfino in the middle of the word? |
| 2023-07-22 22:35:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 22:38:30 +0000 | <dolio> | I know some ligatures are supposed to happen in the middle of words. But it seems like most coding ligatures are supposed to be 'whole word' replacements. |
| 2023-07-22 22:40:45 +0000 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-22 22:43:19 +0000 | <geekosaur> | I am under the impression that ligatures don't consider that; it's something of an abuse of the ligature mechanism |
| 2023-07-22 22:51:51 +0000 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 22:57:24 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-22 23:01:58 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 23:01:58 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 23:01:58 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 23:03:53 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 246 seconds) |
| 2023-07-22 23:08:23 +0000 | anpad | (~pandeyan@user/anpad) |
| 2023-07-22 23:10:41 +0000 | <[Leary]> | dolio: Ligatures (liga) are context independent. "Contextual alternates" (calt) can be used to make glyphs dependent upon surrounding characters, but I'm not sure if that can be applied to ligature glyphs directly. |
| 2023-07-22 23:11:31 +0000 | <[Leary]> | Ordinary programming fonts are not optimised for Haskell operator-soup, so they don't really need to consider whole word replacements. |
| 2023-07-22 23:12:05 +0000 | <dolio> | Huh. So, does Zapfino in the middle of a word use the ligature? I guess it doesn't really matter. Or maybe they have some particular hack? |
| 2023-07-22 23:12:40 +0000 | <[Leary]> | I don't know anything about this font, but I'd prusume it does. |
| 2023-07-22 23:14:42 +0000 | nyc | (~nyc@2603-7000-a106-2fb5-0000-0000-0000-1f21.res6.spectrum.com) |
| 2023-07-22 23:19:05 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-07-22 23:19:53 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-22 23:22:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 23:22:29 +0000 | anpad | (~pandeyan@user/anpad) (Ping timeout: 260 seconds) |
| 2023-07-22 23:22:38 +0000 | pandeyan | (~pandeyan@23-93-120-164.fiber.dynamic.sonic.net) |
| 2023-07-22 23:26:59 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-22 23:32:37 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-07-22 23:32:59 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 260 seconds) |
| 2023-07-22 23:34:44 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 260 seconds) |
| 2023-07-22 23:34:44 +0000 | mauke_ | mauke |
| 2023-07-22 23:40:20 +0000 | pavonia | (~user@user/siracusa) |
| 2023-07-22 23:45:26 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-07-22 23:47:11 +0000 | Guest9790 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-22 23:47:40 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-22 23:59:58 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
