| 2023-07-22 00:01:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-22 00:03:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-22 00:03:42 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 00:03:42 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 00:03:42 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 00:04:40 +0200 | dobblego | dibblego |
| 2023-07-22 00:04:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-22 00:06:33 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-22 00:10:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 00:13:14 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-22 00:17:39 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-246.2.247.pool.telefonica.de) |
| 2023-07-22 00:23:13 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-22 00:31:06 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-07-22 00:35:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-22 00:37:26 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-22 00:42:42 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-22 00:45:47 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-22 00:49:31 +0200 | <johnw> | what's the good recommendation these days for someone who wants to start out with Haskell and functional programming? |
| 2023-07-22 00:50:14 +0200 | <geekosaur> | the wikibook, I think |
| 2023-07-22 00:50:19 +0200 | <geekosaur> | @where wikibook |
| 2023-07-22 00:50:19 +0200 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 2023-07-22 00:51:54 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-22 00:53:06 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-22 00:58:03 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-22 00:59:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-22 01:00:12 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-22 01:06:41 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-22 01:07:27 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-246.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-22 01:11:09 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 01:12:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-22 01:12:37 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-22 01:12:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 01:13:02 +0200 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-22 01:13:05 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 244 seconds) |
| 2023-07-22 01:15:16 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-22 01:18:05 +0200 | <jackdk> | johnw: What sort of background does your student have? https://haskellbook.com/ got me over the hump and into my first industrial Haskell job a few years ago, but not everyone will want to work through a tome that slow and thorough. |
| 2023-07-22 01:20:38 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-07-22 01:22:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 01:26:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-22 01:30:50 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-07-22 01:33:54 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-22 01:35:17 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-07-22 01:35:18 +0200 | mauke_ | mauke |
| 2023-07-22 01:38:51 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:98b6:3d46:5832:2eef) |
| 2023-07-22 01:39:15 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:98b6:3d46:5832:2eef) (Remote host closed the connection) |
| 2023-07-22 01:39:37 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:98b6:3d46:5832:2eef) |
| 2023-07-22 01:41:12 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:5dc6:a07e:aed6:29ec) (Ping timeout: 245 seconds) |
| 2023-07-22 01:42:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-22 01:43:39 +0200 | Lears | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2023-07-22 01:43:53 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2023-07-22 01:57:12 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 02:00:44 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-22 02:01:34 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-07-22 02:07:09 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-07-22 02:07:09 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-07-22 02:07:09 +0200 | Feuermagier_ | Feuermagier |
| 2023-07-22 02:07:34 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-07-22 02:12:09 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-22 02:13:58 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-22 02:14:57 +0200 | img | (~img@user/img) |
| 2023-07-22 02:20:02 +0200 | <edwardk> | johnw: decided to finally stop playing around with coq and learn haskell for real, huh? |
| 2023-07-22 02:23:53 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 02:24:43 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 02:41:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-22 02:44:34 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-22 02:45:13 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 02:48:48 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-22 02:52:50 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-22 02:54:35 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 2023-07-22 03:00:42 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 03:00:42 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 03:00:42 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 03:00:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-22 03:01:29 +0200 | dobblego | dibblego |
| 2023-07-22 03:11:04 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-22 03:17:11 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-22 03:28:27 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 244 seconds) |
| 2023-07-22 03:29:25 +0200 | <johnw> | jackdk: no functional background |
| 2023-07-22 03:29:34 +0200 | <johnw> | edwardk: lol, awesome |
| 2023-07-22 03:29:58 +0200 | <johnw> | I only learned Coq to give definite shape to the Haskell-shaped void in my mind |
| 2023-07-22 03:40:32 +0200 | ft | (~ft@p508db1fa.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-22 03:42:38 +0200 | ft | (~ft@p508db95a.dip0.t-ipconnect.de) |
| 2023-07-22 03:44:48 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-22 03:46:17 +0200 | phma | (~phma@host-67-44-208-146.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-22 03:46:42 +0200 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 03:54:11 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2023-07-22 03:54:24 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-07-22 03:59:27 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 244 seconds) |
| 2023-07-22 04:01:15 +0200 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Ping timeout: 246 seconds) |
| 2023-07-22 04:05:57 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 04:15:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 04:16:28 +0200 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 04:16:55 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 240 seconds) |
| 2023-07-22 04:19:34 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 04:20:45 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-22 04:22:52 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 04:22:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-22 04:22:52 +0200 | finn_elija | FinnElija |
| 2023-07-22 04:24:06 +0200 | td_ | (~td@i5387091C.versanet.de) (Ping timeout: 252 seconds) |
| 2023-07-22 04:25:59 +0200 | td_ | (~td@i53870914.versanet.de) |
| 2023-07-22 04:27:31 +0200 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) (Read error: Connection reset by peer) |
| 2023-07-22 04:28:00 +0200 | phma | (~phma@host-67-44-208-146.hnremote.net) |
| 2023-07-22 04:32:30 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 04:37:04 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 04:38:14 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-07-22 04:39:11 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2023-07-22 04:40:00 +0200 | bilegeek | (~bilegeek@2600:1008:b082:e852:7feb:f111:cea2:db23) |
| 2023-07-22 04:40:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 04:40:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 04:40:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 04:41:06 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-07-22 04:44:39 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-07-22 04:46:31 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-07-22 04:49:48 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-22 04:50:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-07-22 04:55:26 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 245 seconds) |
| 2023-07-22 04:56:25 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-22 04:56:41 +0200 | ddellacosta | (~ddellacos@146.70.168.100) (Ping timeout: 245 seconds) |
| 2023-07-22 04:56:57 +0200 | dsrt^ | (~cd@24.125.210.85) (Remote host closed the connection) |
| 2023-07-22 04:57:15 +0200 | dsrt^ | (~cd@24.125.210.85) |
| 2023-07-22 04:58:50 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-07-22 05:02:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-07-22 05:03:38 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-22 05:18:46 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-22 05:23:30 +0200 | dsrt^ | (~cd@24.125.210.85) (Ping timeout: 250 seconds) |
| 2023-07-22 05:28:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-07-22 05:28:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-07-22 05:36:11 +0200 | aforemny | (~aforemny@i59F516F8.versanet.de) |
| 2023-07-22 05:36:35 +0200 | aforemny_ | (~aforemny@i59F516D0.versanet.de) (Ping timeout: 244 seconds) |
| 2023-07-22 05:39:18 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 05:44:09 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 05:53:12 +0200 | phma | (~phma@host-67-44-208-146.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-22 05:53:35 +0200 | phma | (phma@2001:5b0:210f:4298:a653:db80:97bd:2a9f) |
| 2023-07-22 05:57:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 06:02:55 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 06:02:55 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 06:02:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 06:14:06 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 252 seconds) |
| 2023-07-22 06:16:49 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-22 06:22:03 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 06:22:39 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:98b6:3d46:5832:2eef) (Ping timeout: 260 seconds) |
| 2023-07-22 06:26:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 06:26:28 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 06:26:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 06:35:51 +0200 | razetime | (~quassel@117.193.0.58) |
| 2023-07-22 06:37:33 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 06:41:54 +0200 | razetime | (~quassel@117.193.0.58) (Ping timeout: 260 seconds) |
| 2023-07-22 06:42:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 06:42:39 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 06:42:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 07:07:48 +0200 | trev | (~trev@user/trev) |
| 2023-07-22 07:08:51 +0200 | razetime | (~quassel@117.193.0.58) |
| 2023-07-22 07:10:15 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-22 07:12:46 +0200 | bilegeek | (~bilegeek@2600:1008:b082:e852:7feb:f111:cea2:db23) (Quit: Leaving) |
| 2023-07-22 07:16:54 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds) |
| 2023-07-22 07:25:47 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 07:30:24 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-22 07:32:41 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:32:58 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:34:35 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:34:52 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:35:46 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-22 07:36:22 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:36:39 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:38:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:38:27 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:38:54 +0200 | Fischmiep | (~Fischmiep@user/Fischmiep) |
| 2023-07-22 07:40:00 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:40:17 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:41:08 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-22 07:41:54 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:42:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:43:42 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:43:59 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:45:29 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:45:46 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:47:04 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:47:20 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:48:56 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:49:13 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:50:39 +0200 | Qudit | (~user@user/Qudit) |
| 2023-07-22 07:50:47 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:50:50 +0200 | Qudit | (~user@user/Qudit) (Read error: Connection reset by peer) |
| 2023-07-22 07:51:04 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:52:41 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:52:56 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:53:44 +0200 | Qudit | (~user@user/Qudit) |
| 2023-07-22 07:54:07 +0200 | CiaoSen | (~Jura@2a05:5800:2a6:6d00:664b:f0ff:fe37:9ef) |
| 2023-07-22 07:54:26 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:54:43 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:55:57 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:f0ec:6c5a:a5bd:1b2) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2023-07-22 07:56:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:56:17 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2023-07-22 07:56:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:56:41 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 07:58:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 07:58:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 07:58:36 +0200 | CiaoSen | (~Jura@2a05:5800:2a6:6d00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-07-22 08:00:08 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:00:13 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 08:00:24 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:01:57 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:02:13 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:03:52 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:04:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:05:32 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:05:48 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:07:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:07:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:08:46 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:09:01 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:10:40 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:10:56 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:12:21 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:12:38 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:14:13 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:14:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-22 08:14:31 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:15:58 +0200 | legacy | (~legacy@92-249-194-106.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 08:16:09 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:16:24 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:16:47 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 08:17:35 +0200 | legacy | (~legacy@176-241-62-246.pool.digikabel.hu) |
| 2023-07-22 08:18:01 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:18:18 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:19:51 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:20:08 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:20:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 08:20:23 +0200 | nick4 | (~nick@2600:8807:9084:7800:99b:f00:aec6:43d1) (Ping timeout: 264 seconds) |
| 2023-07-22 08:21:35 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:21:51 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:23:18 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:23:31 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-22 08:23:35 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:24:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 08:24:41 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 08:24:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 08:24:58 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2023-07-22 08:25:16 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:26:38 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:26:54 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:28:21 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:28:36 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:29:49 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:30:06 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:31:26 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:31:42 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:33:14 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:33:31 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:34:53 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:35:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:35:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-22 08:36:40 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:36:56 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:37:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-22 08:38:19 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:38:21 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 08:38:21 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 08:38:21 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 08:38:35 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:39:56 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:39:57 +0200 | <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 08:40:12 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:41:43 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:42:00 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:43:29 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:43:45 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:45:12 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:45:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:46:51 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:47:07 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:48:16 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 244 seconds) |
| 2023-07-22 08:48:22 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-22 08:48:30 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:48:46 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:50:13 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:50:29 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:50:39 +0200 | <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 08:51:59 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:52:13 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:53:22 +0200 | <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 08:53:27 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:53:44 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:55:08 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:55:24 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:56:49 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:56:58 +0200 | acidjnk | (~acidjnk@p200300d6e7072f00ad426ee772be6902.dip0.t-ipconnect.de) |
| 2023-07-22 08:57:06 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 08:58:12 +0200 | mauke | (~mauke@user/mauke) (Quit: leaving) |
| 2023-07-22 08:58:32 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 08:58:49 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:00:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:00:26 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:01:53 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:02:09 +0200 | mauke | (~mauke@user/mauke) |
| 2023-07-22 09:02:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:03:33 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:03:50 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:05:12 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:05:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:05:40 +0200 | energizer_ | energizer |
| 2023-07-22 09:07:01 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:07:18 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:07:30 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-07-22 09:08:49 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:09:05 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:10:16 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:10:23 +0200 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 09:10:33 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:12:07 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:12:16 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 09:12:23 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:13:55 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:14:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:15:43 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:16:00 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:16:10 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 09:16:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-22 09:17:18 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 09:17:26 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:17:42 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:19:10 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:19:27 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:20:34 +0200 | legacy | (~legacy@176-241-62-246.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 09:20:49 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-22 09:20:54 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:21:04 +0200 | titiband1t | (~titibandi@user/titibandit) |
| 2023-07-22 09:21:11 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:21:50 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2023-07-22 09:22:08 +0200 | legacy | (~legacy@87-97-82-136.pool.digikabel.hu) |
| 2023-07-22 09:22:40 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:22:57 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:24:28 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:24:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-22 09:24:44 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:26:07 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:26:21 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:26:22 +0200 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-07-22 09:26:39 +0200 | jrm | (~jrm@user/jrm) |
| 2023-07-22 09:27:09 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-22 09:27:41 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:27:58 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:29:29 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:29:46 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:30:15 +0200 | titiband1t | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-22 09:30:23 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 09:30:23 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 09:30:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 09:31:14 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:31:30 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:32:26 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-22 09:33:02 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:33:18 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:34:46 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 244 seconds) |
| 2023-07-22 09:34:49 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:35:04 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:35:41 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-07-22 09:36:34 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:36:50 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2023-07-22 09:37:29 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-22 09:38:24 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2023-07-22 09:40:00 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 09:40:27 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 09:45:17 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 09:47:39 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 09:49:34 +0200 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-22 09:54:22 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-22 09:58:01 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-07-22 10:00:01 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-22 10:04:48 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 10:04:48 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 10:04:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 10:06:00 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-22 10:07:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) |
| 2023-07-22 10:09:52 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) |
| 2023-07-22 10:10:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-22 10:11:40 +0200 | legacy | (~legacy@87-97-82-136.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 10:12:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) (Ping timeout: 260 seconds) |
| 2023-07-22 10:13:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 10:13:22 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 10:13:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 10:13:28 +0200 | legacy | (~legacy@84-236-60-65.pool.digikabel.hu) |
| 2023-07-22 10:14:52 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 10:15:43 +0200 | arahael_ | (~arahael@1.145.19.37) |
| 2023-07-22 10:22:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f00ad426ee772be6902.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-22 10:26:33 +0200 | acidjnk | (~acidjnk@p200300d6e7072f001cede2166f9d501c.dip0.t-ipconnect.de) |
| 2023-07-22 10:40:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 10:42:08 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-22 10:47:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-22 10:52:09 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 10:57:12 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2023-07-22 11:03:38 +0200 | arizona | (~arizona@bcdcac82.skybroadband.com) (Ping timeout: 244 seconds) |
| 2023-07-22 11:04:06 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 11:06:17 +0200 | Alex_test | (~al_test@178.34.162.202) (Quit: ;-) |
| 2023-07-22 11:06:41 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Quit: ;-) |
| 2023-07-22 11:06:46 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Quit: Leaving) |
| 2023-07-22 11:08:29 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 11:10:54 +0200 | ddrone[m] | (~ddronemat@2001:470:69fc:105::3:70d5) (Remote host closed the connection) |
| 2023-07-22 11:15:56 +0200 | arizona | (~arizona@bcdcac82.skybroadband.com) |
| 2023-07-22 11:19:08 +0200 | legacy | (~legacy@84-236-60-65.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 2023-07-22 11:21:01 +0200 | legacy | (~legacy@178-164-188-64.pool.digikabel.hu) |
| 2023-07-22 11:22:41 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-22 11:24:18 +0200 | Lycurgus | (~juan@user/Lycurgus) (Ping timeout: 244 seconds) |
| 2023-07-22 11:29:07 +0200 | ubert1 | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) |
| 2023-07-22 11:31:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-07-22 11:32:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-22 11:35:02 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-22 11:35:40 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-22 11:38:52 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-22 11:39:03 +0200 | ripspin | (~chatzilla@1.145.155.12) |
| 2023-07-22 11:39:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-07-22 11:41:41 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-22 11:45:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-22 11:51:38 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-22 11:56:39 +0200 | tremon | (~tremon@83.80.159.219) |
| 2023-07-22 11:58:41 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-22 12:00:17 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 12:02:02 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-07-22 12:02:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-22 12:03:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2023-07-22 12:05:45 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) |
| 2023-07-22 12:09:11 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2023-07-22 12:20:19 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 12:22:23 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-22 12:28:59 +0200 | legacy | (~legacy@178-164-188-64.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 12:30:42 +0200 | legacy | (~legacy@178-164-207-77.pool.digikabel.hu) |
| 2023-07-22 12:32:46 +0200 | <arahael_> | Happy I got a chance to play with an 'Html Monad" today with the time I have on the train :) |
| 2023-07-22 12:33:21 +0200 | <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 12:33:56 +0200 | <arahael_> | Lets me do things like this: someHtml = h1 "Hello There" >> h2 "Hello Again" >> Main.div "Prefix" (H2 "Hello there") "Postfix" |
| 2023-07-22 12:34:41 +0200 | <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 12:35:54 +0200 | <jade[m]> | hm, a lawful monad? |
| 2023-07-22 12:36:13 +0200 | <arahael_> | I'm not sure exactly what that means but it seems to be a proper monad, yes. |
| 2023-07-22 12:37:14 +0200 | <ncf> | seems dubious |
| 2023-07-22 12:37:18 +0200 | <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 12:37:51 +0200 | <jade[m]> | the thing is that Html a doesn't really make sense because Html doesn't encapsulate anything |
| 2023-07-22 12:37:59 +0200 | <ncf> | yeah, if you only use m () you're basically using a monoid, not a monad |
| 2023-07-22 12:38:07 +0200 | <jade[m]> | yep |
| 2023-07-22 12:38:35 +0200 | <arahael_> | Yeah, I had to define a Functor that wraps it, by using `data HtmlF a = HtmlF a Html`. |
| 2023-07-22 12:39:06 +0200 | <jade[m]> | oh, so it's basically just disregarding the value |
| 2023-07-22 12:39:12 +0200 | <arahael_> | So Html, HtmlF, and `Free HtmlF` are the main types involved. |
| 2023-07-22 12:39:49 +0200 | <arahael_> | jade[m]: It doesn't disregard the value, the value is required for interpreting the free monad. |
| 2023-07-22 12:40:20 +0200 | <ncf> | so you're just using the free monoid over Html, i.e. [Html] |
| 2023-07-22 12:40:45 +0200 | <ncf> | someHtml = [h1 "Hello There", h2 "Hello Again", Main.div "Prefix" (h2 "Hello there) "Postfix"] |
| 2023-07-22 12:41:07 +0200 | <arahael_> | ncf: Hmm, yes, I could've done it with [Html]. |
| 2023-07-22 12:41:44 +0200 | <arahael_> | Maybe I should try that as well just to try it out, I'm still playing aroun. |
| 2023-07-22 12:43:13 +0200 | <arahael_> | (Should be pretty easy actually: List has a Functor implementation, I believe) |
| 2023-07-22 12:43:21 +0200 | <arahael_> | *Functor Instance, rather. |
| 2023-07-22 12:43:21 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2023-07-22 12:47:15 +0200 | Vajb | (~Vajb@2001:999:704:d437:7906:1cd4:b5ab:684f) (Ping timeout: 258 seconds) |
| 2023-07-22 12:47:19 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-07-22 12:48:37 +0200 | <arahael_> | ncf: This is the guide I'm using: https://serokell.io/blog/introduction-to-free-monads |
| 2023-07-22 12:48:52 +0200 | <arahael_> | It's a bit out of date but still pretty good. |
| 2023-07-22 12:49:43 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) |
| 2023-07-22 12:50:08 +0200 | <arahael_> | The idea isn't really for HTML, but to provide an arbitruary DSL. |
| 2023-07-22 12:51:17 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-22 12:52:02 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2023-07-22 12:52:23 +0200 | micro | (~micro@user/micro) (Remote host closed the connection) |
| 2023-07-22 12:55:03 +0200 | <arahael_> | ncf: For example, consider someHtml 0 = pure (); someHtml a = h1 "Hello There" >> someHtml (a-1) |
| 2023-07-22 12:55:04 +0200 | <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 12:55:04 +0200 | <ncf> | final value, but has no other effects |
| 2023-07-22 12:55:34 +0200 | <arahael_> | I'll give that a read, then! |
| 2023-07-22 12:55:47 +0200 | <ncf> | arahael_: seems like a slightly convoluted way of writing someHtml n = replicate n (h1 "Hello There") |
| 2023-07-22 12:56:10 +0200 | <ncf> | (also, aren't you masking the fact that you have to write newtype wrappers around your h1, h2, etc?) |
| 2023-07-22 12:56:16 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-22 12:56:50 +0200 | <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 12:57:00 +0200 | <arahael_> | (H1, H2, and Div). |
| 2023-07-22 12:59:55 +0200 | <jade[m]> | im writing a html blog thingy right now which just uses lists |
| 2023-07-22 13:00:04 +0200 | <jade[m]> | works pretty well, but isn't as "fancy" |
| 2023-07-22 13:00:34 +0200 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-22 13:04:22 +0200 | arahael_ | (~arahael@1.145.19.37) (Ping timeout: 260 seconds) |
| 2023-07-22 13:05:29 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 13:05:34 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-07-22 13:06:08 +0200 | arahael_ | (~arahael@1.145.108.254) |
| 2023-07-22 13:06:22 +0200 | <arahael_> | Appologies, I'm on a train, my internet is very spotty. |
| 2023-07-22 13:06:39 +0200 | micro | (~micro@user/micro) |
| 2023-07-22 13:09:50 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-22 13:09:50 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-22 13:09:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-22 13:10:12 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-07-22 13:10:38 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-22 13:12:12 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2023-07-22 13:12:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-22 13:15:54 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 13:17:34 +0200 | arahael_ | (~arahael@1.145.108.254) (Quit: leaving) |
| 2023-07-22 13:17:40 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 13:22:04 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 13:22:23 +0200 | <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 13:22:37 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-07-22 13:23:38 +0200 | <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 13:23:56 +0200 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 13:24:16 +0200 | <jade[m]> | just a small static site for blogs + about me thingy + maybe art/poetry |
| 2023-07-22 13:24:22 +0200 | <probie> | I think I'm missing context, but can't people just email feedback? |
| 2023-07-22 13:25:18 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-241-096.2.247.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2023-07-22 13:25:24 +0200 | <jade[m]> | I suppose so? I think they meant something like a comment section on a blog |
| 2023-07-22 13:25:53 +0200 | <mauke> | oh, a guestbook |
| 2023-07-22 13:25:59 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 13:29:18 +0200 | razetime | (~quassel@117.193.0.58) (Remote host closed the connection) |
| 2023-07-22 13:31:41 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-07-22 13:31:42 +0200 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 13:33:48 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-07-22 13:34:49 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 13:34:56 +0200 | <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 13:35:48 +0200 | <mauke> | just integrate ActivityPub directly |
| 2023-07-22 13:37:07 +0200 | <danza> | ActivityPub? Let me look it up |
| 2023-07-22 13:39:01 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Quit: Quit) |
| 2023-07-22 13:39:22 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-22 13:39:32 +0200 | <ncf> | mauke: how would that work? |
| 2023-07-22 13:39:37 +0200 | <danza> | found a single lib on hackage https://hackage.haskell.org/package/activitypub |
| 2023-07-22 13:39:37 +0200 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 13:39:59 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 13:41:10 +0200 | <danza> | ncf, here some background https://en.wikipedia.org/wiki/ActivityPub |
| 2023-07-22 13:41:20 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-22 13:41:43 +0200 | <ncf> | i'm familiar with activitypub, i'm asking how a comment section based on it would work |
| 2023-07-22 13:42:50 +0200 | <ncf> | not sure if mauke had something specific in mind |
| 2023-07-22 13:43:54 +0200 | <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 13:43:55 +0200 | <lambdabot> | <hint>:1:14: error: parse error on input ‘,’ |
| 2023-07-22 13:43:56 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-22 13:43:56 +0200 | <probie> | I sometimes comment on blog posts, but have no presence on social media, not even the fediverse |
| 2023-07-22 13:44:45 +0200 | <jade[m]> | me neither, and im very happy about that |
| 2023-07-22 13:45:01 +0200 | <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 13:45:23 +0200 | <probie> | s/require no/requires no/ |
| 2023-07-22 13:45:42 +0200 | <[exa]> | probie: for like 20+ years I'm now naively waiting for one which just accepts gpg signed stuff |
| 2023-07-22 13:45:44 +0200 | biberu | (~biberu@user/biberu) |
| 2023-07-22 13:46:37 +0200 | <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 13:46:48 +0200 | <Rembane> | gpg over oauth? |
| 2023-07-22 13:46:50 +0200 | Rembane | hand waves |
| 2023-07-22 13:47:04 +0200 | <Rembane> | It probably doesn't exist |
| 2023-07-22 13:47:10 +0200 | <Rembane> | WOuld be neat in a cursed way though |
| 2023-07-22 13:51:32 +0200 | <probie> | danza: the widget just needs a button with a `mailto` link |
| 2023-07-22 13:52:11 +0200 | <danza> | i tried with the fediverse but found it a bit limited and error-prone (milieu was mastodon & web interfaces) |
| 2023-07-22 13:52:24 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 260 seconds) |
| 2023-07-22 13:53:40 +0200 | <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 13:54:20 +0200 | <danza> | yeah and then you need to write the logic to sync with a mail server |
| 2023-07-22 13:54:27 +0200 | <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 13:54:52 +0200 | <danza> | (oh sorry the first part of this message was written before your other mes) |
| 2023-07-22 13:56:47 +0200 | <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 13:59:36 +0200 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 14:05:18 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 14:08:44 +0200 | Guest9790 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-07-22 14:10:18 +0200 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-22 14:12:55 +0200 | bramhaag | (~bramhaag@134.195.121.39) (Quit: Ping timeout (120 seconds)) |
| 2023-07-22 14:13:08 +0200 | bramhaag | (~bramhaag@134.195.121.39) |
| 2023-07-22 14:15:41 +0200 | danza | (~francesco@151.43.153.62) (Remote host closed the connection) |
| 2023-07-22 14:17:29 +0200 | danza | (~francesco@151.43.153.62) |
| 2023-07-22 14:21:39 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-22 14:29:13 +0200 | marea_ | (~francesco@151.43.153.62) |
| 2023-07-22 14:29:44 +0200 | legacy | (~legacy@178-164-207-77.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 14:30:39 +0200 | danza | (~francesco@151.43.153.62) (Read error: Connection reset by peer) |
| 2023-07-22 14:31:13 +0200 | legacy | (~legacy@178-164-208-215.pool.digikabel.hu) |
| 2023-07-22 14:33:27 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-22 14:36:13 +0200 | marea_ | (~francesco@151.43.153.62) (Read error: Connection reset by peer) |
| 2023-07-22 14:44:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-22 14:45:08 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 14:54:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-22 15:01:21 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 246 seconds) |
| 2023-07-22 15:04:05 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 15:12:27 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-07-22 15:14:09 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-07-22 15:14:23 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 15:16:48 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-07-22 15:21:16 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-22 15:29:10 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 15:31:34 +0200 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2023-07-22 15:37:59 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 15:40:01 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 15:44:31 +0200 | andrewboltachev | (~andrey@178.141.125.70) |
| 2023-07-22 15:45:25 +0200 | andrewboltachev | (~andrey@178.141.125.70) (Client Quit) |
| 2023-07-22 15:45:42 +0200 | andrewboltachev | (~andrey@178.141.125.70) |
| 2023-07-22 15:46:41 +0200 | <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 15:47:28 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 15:47:43 +0200 | <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 15:53:28 +0200 | <mauke> | let c :: X -> Y and (<*>) :: f (a -> b) -> f a -> f b in (,) <*> c |
| 2023-07-22 15:53:48 +0200 | <mauke> | then we have f a = X -> Y |
| 2023-07-22 15:54:24 +0200 | <mauke> | and also f (a -> b) = t -> u -> (t, u) |
| 2023-07-22 15:54:49 +0200 | <mauke> | X -> Y is syntactic sugar for (->) X Y, which means ((->) X) Y |
| 2023-07-22 15:55:15 +0200 | <mauke> | unifying with f a gives f = (->) X and a = Y |
| 2023-07-22 15:55:27 +0200 | <andrewboltachev> | yeah... just got to ((->) X) myself too |
| 2023-07-22 15:56:23 +0200 | <mauke> | f (a -> b) = (->) X (a -> b) = X -> a -> b |
| 2023-07-22 15:56:43 +0200 | <mauke> | from which we get X = t, a = u, b = (t, u) |
| 2023-07-22 15:57:17 +0200 | <mauke> | hence f b = (->) X (t, u) = X -> (t, u) |
| 2023-07-22 15:57:37 +0200 | <mauke> | = X -> (X, Y) |
| 2023-07-22 15:57:37 +0200 | <andrewboltachev> | wow... still quite astonishing :D |
| 2023-07-22 15:57:38 +0200 | <andrewboltachev> | thanks |
| 2023-07-22 15:57:56 +0200 | <geekosaur> | the Reader Functor is mindwarping |
| 2023-07-22 15:58:07 +0200 | <mauke> | > (f <*> g) x |
| 2023-07-22 15:58:08 +0200 | <lambdabot> | error: |
| 2023-07-22 15:58:08 +0200 | <lambdabot> | • Could not deduce (Show a0) arising from a use of ‘f’ |
| 2023-07-22 15:58:09 +0200 | <lambdabot> | from the context: FromExpr t |
| 2023-07-22 15:58:25 +0200 | <mauke> | > ((f :: Expr -> Expr -> Expr) <*> g) x |
| 2023-07-22 15:58:26 +0200 | <lambdabot> | f x (g x) |
| 2023-07-22 15:58:52 +0200 | <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 15:59:07 +0200 | <ncf> | Reader's <*> is also S from the SKI combinator calculus, while pure is K and ask is I |
| 2023-07-22 15:59:38 +0200 | <andrewboltachev> | e.g. Profunctor uses (.), Functor's fmap is just (.) |
| 2023-07-22 16:01:03 +0200 | <andrewboltachev> | ncf: this one'd be good to learn about after finishing CT book :D |
| 2023-07-22 16:01:41 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 16:01:50 +0200 | <andrewboltachev> | I know there is combinator calculus, where combinators are functions that only re-arrange arguments |
| 2023-07-22 16:01:53 +0200 | <mauke> | it's just S = \f g x -> f x (g x), K = \x y -> x, I = \x -> x |
| 2023-07-22 16:02:04 +0200 | <mauke> | and I is redundant because you can build it from S and K |
| 2023-07-22 16:02:19 +0200 | <mauke> | makes it harder to pronounce, though |
| 2023-07-22 16:02:20 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 16:02:35 +0200 | <ncf> | (the point being that you can translate any untyped lambda-calculus term into one without lambdas that only uses SKI) |
| 2023-07-22 16:03:06 +0200 | <mauke> | down with I! |
| 2023-07-22 16:03:36 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 16:04:12 +0200 | <mauke> | SKK x = K x (K x) = x |
| 2023-07-22 16:04:40 +0200 | <mauke> | :t pure <*> pure |
| 2023-07-22 16:04:41 +0200 | <lambdabot> | error: |
| 2023-07-22 16:04:41 +0200 | <lambdabot> | • Ambiguous type variable ‘f0’ arising from a use of ‘pure’ |
| 2023-07-22 16:04:41 +0200 | <lambdabot> | prevents the constraint ‘(Applicative f0)’ from being solved. |
| 2023-07-22 16:06:44 +0200 | <ncf> | :t pure <*> undefined |
| 2023-07-22 16:06:45 +0200 | <lambdabot> | b -> b |
| 2023-07-22 16:07:23 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-22 16:08:09 +0200 | <mauke> | CYK |
| 2023-07-22 16:08:21 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-07-22 16:10:52 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-22 16:13:52 +0200 | <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 16:14:05 +0200 | <andrewboltachev> | *what lenses are |
| 2023-07-22 16:14:33 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-07-22 16:23:14 +0200 | <ncf> | hmm? |
| 2023-07-22 16:26:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-22 16:29:13 +0200 | <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 16:30:09 +0200 | <andrewboltachev> | my tool is a grammar and a lens (helps to focus on particular parts of the structure) |
| 2023-07-22 16:30:42 +0200 | <andrewboltachev> | focus, then edit, and write back |
| 2023-07-22 16:31:40 +0200 | <andrewboltachev> | perhaps need to blog about that properly (and fix the UI also) |
| 2023-07-22 16:35:18 +0200 | legacy | (~legacy@178-164-208-215.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-22 16:36:03 +0200 | <andrewboltachev> | ncf: do you agree lenses and grammars have something in common? |
| 2023-07-22 16:36:26 +0200 | <ncf> | everytwothings have something in common |
| 2023-07-22 16:36:45 +0200 | <andrewboltachev> | err true :P |
| 2023-07-22 16:36:46 +0200 | legacy | (~legacy@213-197-76-103.pool.digikabel.hu) |
| 2023-07-22 16:37:21 +0200 | <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 16:37:36 +0200 | <andrewboltachev> | yes I suspected that in theory it's a bit wider |
| 2023-07-22 16:37:49 +0200 | <andrewboltachev> | as e.g. Profunctor isn't necessary |
| 2023-07-22 16:37:54 +0200 | <andrewboltachev> | (->) |
| 2023-07-22 16:39:01 +0200 | <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 16:39:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-22 16:40:08 +0200 | <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 16:41:41 +0200 | <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 16:42:28 +0200 | <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 16:43:34 +0200 | <andrewboltachev> | I'm using Haskell to deal with it (and saying everyone that I'm proud of that) |
| 2023-07-22 16:43:55 +0200 | <andrewboltachev> | but Instagram starts developing sth called "matchers": https://libcst.readthedocs.io/en/latest/matchers_tutorial.html |
| 2023-07-22 16:43:59 +0200 | <andrewboltachev> | to explore trees of code |
| 2023-07-22 16:44:08 +0200 | <andrewboltachev> | so it's also merely a lens :D |
| 2023-07-22 16:53:21 +0200 | ub | (~Thunderbi@178.165.181.115.wireless.dyn.drei.com) |
| 2023-07-22 16:54:14 +0200 | ubert | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 2023-07-22 16:54:14 +0200 | ub | ubert |
| 2023-07-22 16:55:11 +0200 | ubert1 | (~Thunderbi@178.115.53.5.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2023-07-22 16:55:39 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 16:58:43 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-22 16:59:42 +0200 | <ncf> | i'd expect "matchers" to behave more like prisms, if anything |
| 2023-07-22 17:01:40 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:a82c:59d6:de54:3fd2) |
| 2023-07-22 17:03:39 +0200 | titiband1t | (~titibandi@user/titibandit) |
| 2023-07-22 17:04:19 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 260 seconds) |
| 2023-07-22 17:16:33 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-07-22 17:16:49 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-22 17:17:23 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 17:17:27 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Client Quit) |
| 2023-07-22 17:17:48 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 17:19:09 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 17:22:19 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-22 17:22:42 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-22 17:23:09 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Remote host closed the connection) |
| 2023-07-22 17:24:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-22 17:25:26 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-22 17:25:30 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-22 17:29:04 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 17:35:02 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-22 17:35:12 +0200 | legacy | (~legacy@213-197-76-103.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-22 17:37:16 +0200 | legacy | (~legacy@78-131-74-99.pool.digikabel.hu) |
| 2023-07-22 17:37:56 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (Remote host closed the connection) |
| 2023-07-22 17:39:33 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2023-07-22 17:42:20 +0200 | titiband1t | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-07-22 17:43:32 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 17:44:17 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:ec71:4117:db5:d7f5) |
| 2023-07-22 17:45:09 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-22 17:48:11 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 17:51:00 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 250 seconds) |
| 2023-07-22 17:51:37 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-22 17:53:10 +0200 | ddellacosta | (~ddellacos@146.70.185.10) |
| 2023-07-22 17:57:29 +0200 | ddellacosta | (~ddellacos@146.70.185.10) (Ping timeout: 244 seconds) |
| 2023-07-22 17:59:29 +0200 | ddellacosta | (~ddellacos@146.70.168.235) |
| 2023-07-22 18:02:39 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-07-22 18:07:28 +0200 | auri | (~auri@fsf/member/auri) (Ping timeout: 250 seconds) |
| 2023-07-22 18:09:47 +0200 | ddellacosta | (~ddellacos@146.70.168.235) (Read error: Connection reset by peer) |
| 2023-07-22 18:10:02 +0200 | isomorpheme[m] | (~isomorphe@2001:470:69fc:105::3:731a) (Remote host closed the connection) |
| 2023-07-22 18:12:20 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-22 18:13:48 +0200 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-07-22 18:28:25 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-22 18:34:10 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) (Ping timeout: 244 seconds) |
| 2023-07-22 18:34:51 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-22 18:37:10 +0200 | ripspin | (~chatzilla@1.145.155.12) (Remote host closed the connection) |
| 2023-07-22 18:39:02 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-07-22 18:43:22 +0200 | ddellacosta | (~ddellacos@146.70.165.10) (Quit: WeeChat 3.8) |
| 2023-07-22 18:44:08 +0200 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-07-22 18:48:04 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 19:07:14 +0200 | legacy | (~legacy@78-131-74-99.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 2023-07-22 19:09:16 +0200 | legacy | (~legacy@92-249-141-221.pool.digikabel.hu) |
| 2023-07-22 19:14:25 +0200 | Alex_test | (~al_test@178.34.162.202) (Ping timeout: 258 seconds) |
| 2023-07-22 19:15:34 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Ping timeout: 258 seconds) |
| 2023-07-22 19:18:29 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-22 19:21:04 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-22 19:21:26 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-22 19:22:31 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-07-22 19:28:24 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-07-22 19:28:33 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 19:28:33 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 19:28:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 19:32:53 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2023-07-22 19:33:45 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2023-07-22 19:35:46 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 19:35:46 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 19:35:46 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 19:41:10 +0200 | puke | (~puke@user/puke) |
| 2023-07-22 19:45:09 +0200 | tv3n | (~stiv3n@2601:647:8580:f2b0:13bb:a6b3:d300:f3cd) |
| 2023-07-22 19:48:59 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
| 2023-07-22 20:11:19 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-22 20:15:52 +0200 | legacy | (~legacy@92-249-141-221.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-22 20:17:51 +0200 | legacy | (~legacy@84-236-60-70.pool.digikabel.hu) |
| 2023-07-22 20:23:06 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-22 20:26:27 +0200 | auri | (~auri@fsf/member/auri) |
| 2023-07-22 20:30:03 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-22 20:30:03 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-22 20:30:03 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 20:39:26 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 20:40:41 +0200 | srk_ | (~sorki@user/srk) |
| 2023-07-22 20:43:29 +0200 | srk | (~sorki@user/srk) (Ping timeout: 246 seconds) |
| 2023-07-22 20:43:31 +0200 | srk_ | srk |
| 2023-07-22 20:44:14 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-07-22 20:52:52 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 245 seconds) |
| 2023-07-22 20:54:55 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-07-22 20:56:34 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2023-07-22 21:01:39 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-22 21:02:09 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-07-22 21:11:45 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2023-07-22 21:14:17 +0200 | legacy | (~legacy@84-236-60-70.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-22 21:14:35 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-22 21:16:20 +0200 | legacy | (~legacy@92-249-179-33.pool.digikabel.hu) |
| 2023-07-22 21:17:05 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-22 21:20:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-22 21:22:31 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) (Remote host closed the connection) |
| 2023-07-22 21:22:55 +0200 | Psybur | (~Psybur@2601:5c9:4201:3220:e65f:1ff:fe95:62f8) |
| 2023-07-22 21:24:29 +0200 | libertyprime | (~libertypr@203.96.203.44) (Ping timeout: 260 seconds) |
| 2023-07-22 21:25:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-22 21:26:52 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-22 21:29:21 +0200 | meta-coder | (~neo@user/meta-coder) |
| 2023-07-22 21:29:36 +0200 | meta-coder | (~neo@user/meta-coder) () |
| 2023-07-22 21:30:05 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-22 21:35:31 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2023-07-22 21:39:12 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-22 21:41:41 +0200 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) |
| 2023-07-22 21:42:25 +0200 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) (Client Quit) |
| 2023-07-22 21:42:39 +0200 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) |
| 2023-07-22 21:47:03 +0200 | Guest68 | (~Guest68@2401:4900:1c08:115c:4864:2f7c:8c38:5f5a) (Client Quit) |
| 2023-07-22 21:49:41 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::3) |
| 2023-07-22 21:53:40 +0200 | legacy | (~legacy@92-249-179-33.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-22 21:55:27 +0200 | legacy | (~legacy@84-236-21-51.pool.digikabel.hu) |
| 2023-07-22 21:59:17 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2023-07-22 22:03:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-07-22 22:05:01 +0200 | Vajb | (~Vajb@2001:999:704:b8c8:e14b:a6fe:34f9:7c8b) |
| 2023-07-22 22:07:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-07-22 22:09:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 22:15:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2023-07-22 22:18:55 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-22 22:19:51 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-07-22 22:22:19 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-07-22 22:23:06 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-22 22:23:06 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-22 22:23:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-22 22:23:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-22 22:27:15 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) |
| 2023-07-22 22:36:46 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-22 22:48:31 +0200 | michalz | (~michalz@185.246.207.197) |
| 2023-07-22 22:48:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-07-22 23:01:48 +0200 | merijn | (~merijn@c-001-001-008.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-07-22 23:07:41 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-07-22 23:10:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-07-22 23:10:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-22 23:11:43 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-22 23:13:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 244 seconds) |
| 2023-07-22 23:18:32 +0200 | nyc | (~nyc@user/nyc) (Ping timeout: 246 seconds) |
| 2023-07-22 23:19:28 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2023-07-22 23:21:16 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-22 23:22:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-22 23:23:11 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-07-22 23:26:28 +0200 | ub | (~Thunderbi@178.165.199.123.wireless.dyn.drei.com) |
| 2023-07-22 23:27:56 +0200 | ubert | (~Thunderbi@178.165.181.115.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2023-07-22 23:27:56 +0200 | ub | ubert |
| 2023-07-22 23:30:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2023-07-22 23:30:46 +0200 | <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 23:30:52 +0200 | <Hecate> | and I'm super unsure how to investigate |
| 2023-07-22 23:31:11 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-07-22 23:31:14 +0200 | <Hecate> | like, do I whip up gdb? should I? |
| 2023-07-22 23:35:13 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2023-07-22 23:36:29 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2023-07-22 23:42:23 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-07-22 23:44:33 +0200 | myxokephale | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-07-22 23:49:26 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-22 23:53:21 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-07-22 23:54:47 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:d6d4:9b50:3607:773c) (Remote host closed the connection) |
| 2023-07-22 23:55:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f001cede2166f9d501c.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2023-07-22 23:55:16 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:a3e2:8ce:b0a3:7ccb) |
| 2023-07-22 23:57:03 +0200 | <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 23:59:10 +0200 | <dolio> | What editor? |