| 2024-05-20 00:03:00 +0200 | rdcdr | (~rdcdr@user/rdcdr) (Remote host closed the connection) |
| 2024-05-20 00:03:48 +0200 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-05-20 00:07:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-20 00:09:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 00:11:19 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 00:12:14 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-20 00:14:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 00:15:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 00:15:42 +0200 | gmg | (~user@user/gehmehgeh) (Client Quit) |
| 2024-05-20 00:16:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-05-20 00:21:11 +0200 | ph88^ | (~ph88@2a02:8109:9e26:c800:69e1:d79e:9a8:b1e3) (Remote host closed the connection) |
| 2024-05-20 00:21:41 +0200 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-05-20 00:35:21 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 00:35:58 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2024-05-20 00:36:17 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-20 00:37:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-20 00:39:52 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-20 00:56:24 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) |
| 2024-05-20 01:17:17 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 240 seconds) |
| 2024-05-20 01:17:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-20 01:24:44 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 01:29:17 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc155164ce5cdc83914f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-20 01:41:25 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 01:45:38 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-20 01:52:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 01:54:30 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 01:55:57 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc1:5700:7925:7c97:a565:d41) (Ping timeout: 255 seconds) |
| 2024-05-20 01:56:02 +0200 | aforemny | (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) |
| 2024-05-20 01:57:21 +0200 | hiredman_ | hiredman |
| 2024-05-20 01:59:41 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 240 seconds) |
| 2024-05-20 02:11:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 02:11:59 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 02:13:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 02:50:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-20 03:00:54 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-20 03:05:56 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2024-05-20 03:07:42 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 03:18:05 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-05-20 03:25:01 +0200 | yin | (~yin@user/zero) |
| 2024-05-20 03:31:49 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-05-20 03:52:11 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 03:56:33 +0200 | aforemny | (~aforemny@2001:9e8:6cd0:5400:a962:4a8:8d36:131e) (Ping timeout: 255 seconds) |
| 2024-05-20 03:58:10 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 03:58:14 +0200 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) |
| 2024-05-20 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-20 04:00:52 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-20 04:02:05 +0200 | otto_s | (~user@p5de2f197.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2024-05-20 04:04:10 +0200 | otto_s | (~user@p5de2fafb.dip0.t-ipconnect.de) |
| 2024-05-20 04:04:53 +0200 | aforemny | (~aforemny@2001:9e8:6cdb:a900:bbb9:56b1:bfb7:fe85) (Ping timeout: 240 seconds) |
| 2024-05-20 04:05:34 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Quit: Konversation terminated!) |
| 2024-05-20 04:05:44 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) |
| 2024-05-20 04:05:59 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-20 04:07:11 +0200 | td_ | (~td@i5387090A.versanet.de) (Ping timeout: 264 seconds) |
| 2024-05-20 04:09:01 +0200 | td_ | (~td@i53870921.versanet.de) |
| 2024-05-20 04:20:08 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-05-20 04:35:48 +0200 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-05-20 04:37:23 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 252 seconds) |
| 2024-05-20 04:39:39 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-05-20 04:41:17 +0200 | _xor0 | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 240 seconds) |
| 2024-05-20 04:44:13 +0200 | cjb | (813b6d8c75@user/cjb) (Remote host closed the connection) |
| 2024-05-20 04:44:22 +0200 | cjb | (813b6d8c75@user/cjb) |
| 2024-05-20 04:49:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-20 05:00:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 05:01:53 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 05:05:35 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-20 05:06:04 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-20 05:06:34 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-05-20 05:27:13 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 05:27:29 +0200 | aforemny_ | (~aforemny@i59F516F9.versanet.de) |
| 2024-05-20 05:27:59 +0200 | xdminsy | (~xdminsy@117.147.70.240) (Read error: Connection reset by peer) |
| 2024-05-20 05:27:59 +0200 | aforemny | (~aforemny@i59F516DC.versanet.de) (Ping timeout: 252 seconds) |
| 2024-05-20 05:33:47 +0200 | xdminsy | (~xdminsy@117.147.70.240) |
| 2024-05-20 05:37:50 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-20 05:38:32 +0200 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) |
| 2024-05-20 05:40:46 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-05-20 05:55:51 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-20 06:07:35 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-05-20 06:07:50 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-05-20 06:08:21 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-05-20 06:20:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 06:28:35 +0200 | michalz | (~michalz@185.246.207.221) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 06:29:27 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-20 06:31:19 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-05-20 06:42:29 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 06:53:29 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-20 07:03:20 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-20 07:05:33 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:1287:18ca:525:5199) (Quit: Leaving) |
| 2024-05-20 07:18:31 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-20 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-20 07:33:08 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 07:35:06 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-20 07:49:41 +0200 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 07:51:54 +0200 | krei-se | (~krei-se@p57af22bf.dip0.t-ipconnect.de) |
| 2024-05-20 08:31:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-20 08:32:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 08:33:30 +0200 | mailman | (~mailman@119.155.170.51) |
| 2024-05-20 08:33:41 +0200 | mailman | (~mailman@119.155.170.51) (Client Quit) |
| 2024-05-20 08:39:07 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 08:43:48 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 08:50:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc12c1768acda4802182.dip0.t-ipconnect.de) |
| 2024-05-20 08:55:47 +0200 | agent314 | (~quassel@static-198-44-131-18.cust.tzulo.com) (Ping timeout: 264 seconds) |
| 2024-05-20 08:56:13 +0200 | agent314 | (~quassel@121.127.44.27) |
| 2024-05-20 09:05:20 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-20 09:05:23 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-20 09:05:23 +0200 | agent314 | (~quassel@121.127.44.27) (Ping timeout: 264 seconds) |
| 2024-05-20 09:05:24 +0200 | agent314_ | (~quassel@184.75.215.3) |
| 2024-05-20 09:05:55 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-20 09:10:31 +0200 | mailman | (~mailman@103.166.150.118) |
| 2024-05-20 09:10:45 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 09:17:20 +0200 | mailman | (~mailman@103.166.150.118) (Quit: Client closed) |
| 2024-05-20 09:19:28 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 09:44:20 +0200 | yin | (~yin@user/zero) |
| 2024-05-20 09:44:41 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) |
| 2024-05-20 09:55:17 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-20 10:10:07 +0200 | Square2 | (~Square4@user/square) |
| 2024-05-20 10:19:56 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 10:21:03 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 10:24:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 10:32:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 10:45:41 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 240 seconds) |
| 2024-05-20 10:49:57 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 10:56:47 +0200 | PHO`_ | PHO` |
| 2024-05-20 10:59:09 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-20 11:00:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-20 11:01:50 +0200 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-05-20 11:01:51 +0200 | mikess | (~mikess@user/mikess) (Ping timeout: 252 seconds) |
| 2024-05-20 11:18:14 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-20 11:20:57 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-20 11:31:30 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) (Remote host closed the connection) |
| 2024-05-20 11:31:52 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) |
| 2024-05-20 11:36:00 +0200 | foul_owl | (~kerry@157.97.134.168) (Ping timeout: 260 seconds) |
| 2024-05-20 11:36:56 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
| 2024-05-20 11:38:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2024-05-20 11:59:24 +0200 | foul_owl | (~kerry@185.219.141.164) |
| 2024-05-20 12:01:47 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Ping timeout: 252 seconds) |
| 2024-05-20 12:01:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-05-20 12:30:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 12:30:57 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) |
| 2024-05-20 12:31:19 +0200 | euleritian | (~euleritia@dynamic-176-006-179-217.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 12:31:36 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 12:38:25 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 12:39:41 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-20 12:40:10 +0200 | <lxsameer> | hey folks, I'm looking for an open source grahp database with great support for Haskell, any suggestion? |
| 2024-05-20 12:44:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-05-20 12:50:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 12:50:59 +0200 | yin | (~yin@user/zero) (Ping timeout: 264 seconds) |
| 2024-05-20 12:57:26 +0200 | yin | (~yin@user/zero) |
| 2024-05-20 13:01:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 13:02:21 +0200 | <danse-nr3> | not sure lxsameer but you can look into hackage for graph database clients that seem well-maintained |
| 2024-05-20 13:04:20 +0200 | <lxsameer> | danse-nr3: cheers |
| 2024-05-20 13:04:54 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-20 13:05:23 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2024-05-20 13:06:22 +0200 | <danse-nr3> | v |
| 2024-05-20 13:07:49 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-05-20 13:16:06 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-05-20 13:19:08 +0200 | danse-nr3 | (~danse-nr3@151.43.97.10) (Ping timeout: 260 seconds) |
| 2024-05-20 13:19:29 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-20 13:21:41 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 13:28:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-20 13:28:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 13:29:52 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 2024-05-20 13:34:50 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 13:39:19 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 13:39:39 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) |
| 2024-05-20 13:41:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 13:41:45 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Quit: mesaoptimizer) |
| 2024-05-20 13:42:01 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-05-20 13:55:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 14:16:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-05-20 14:18:44 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-05-20 14:31:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 14:32:52 +0200 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
| 2024-05-20 14:38:37 +0200 | agent314_ | (~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.) |
| 2024-05-20 14:39:05 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
| 2024-05-20 14:40:09 +0200 | agent314 | (~quassel@184.75.215.3) |
| 2024-05-20 14:43:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 14:54:18 +0200 | <markasoftware_> | is there a library providing an easy way to get a field of a Data-implementing type with the given type? If all the fields of my type have unique types, it'd be much nicer to be able to say `getField myUser :: EmailAddress` rather than either (a) having to declare it as a proper record with accessors or (b) having to destructure it |
| 2024-05-20 14:54:40 +0200 | <markasoftware_> | I know IxSet does some similar stuff internally to make `ixGen` work but I'm wondering if there's any simple standalone module for it |
| 2024-05-20 14:56:49 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
| 2024-05-20 15:04:13 +0200 | <dmj`> | markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique. |
| 2024-05-20 15:04:30 +0200 | <dmj`> | https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html |
| 2024-05-20 15:06:51 +0200 | <dmj`> | unique within a record |
| 2024-05-20 15:11:38 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1) |
| 2024-05-20 15:12:02 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
| 2024-05-20 15:20:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
| 2024-05-20 15:20:10 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-05-20 15:23:33 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 15:23:36 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 256 seconds) |
| 2024-05-20 15:25:20 +0200 | <carbolymer> | I have a function executing a callback function endlessly. The callback type should allow stopping of the processing. I'm wondering what's the best way to represent this type? e.g. https://bpa.st/N6HQ |
| 2024-05-20 15:25:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 15:25:42 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-20 15:27:38 +0200 | <ncf> | myFunction :: [Thing] ? |
| 2024-05-20 15:27:54 +0200 | <ncf> | or does reading require IO |
| 2024-05-20 15:27:59 +0200 | <carbolymer> | it does |
| 2024-05-20 15:28:28 +0200 | <carbolymer> | hmm, maybe [IO Thing] ... |
| 2024-05-20 15:29:47 +0200 | <carbolymer> | myFunction is polling some data source every 500ms, I guess it could be possible to do `[IO Thing]` ... |
| 2024-05-20 15:30:26 +0200 | <ncf> | wouldn't all the elements of the list be the same? |
| 2024-05-20 15:33:04 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
| 2024-05-20 15:33:05 +0200 | <carbolymer> | no because those are `IO Thing`, so each element can do whatever IO action it wants |
| 2024-05-20 15:33:47 +0200 | <ncf> | but in your use case, they're all doing the same polling action, right? |
| 2024-05-20 15:35:07 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
| 2024-05-20 15:36:39 +0200 | <danse-nr3> | :t while |
| 2024-05-20 15:36:40 +0200 | <lambdabot> | error: Variable not in scope: while |
| 2024-05-20 15:36:53 +0200 | <danse-nr3> | @hoogle while |
| 2024-05-20 15:36:53 +0200 | <lambdabot> | Sound.Tidal.UI while :: Pattern Bool -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a |
| 2024-05-20 15:36:53 +0200 | <lambdabot> | Development.NSIS while :: Exp Bool -> Action () -> Action () |
| 2024-05-20 15:36:53 +0200 | <lambdabot> | Language.C.Syntax While :: Exp -> Stm -> SrcLoc -> Stm |
| 2024-05-20 15:37:05 +0200 | <ncf> | if so, you could just have poll :: IO Thing; then, given a callback :: Thing -> IO (Maybe x), you have untilJust (poll >>= callback) :: IO x |
| 2024-05-20 15:37:45 +0200 | <danse-nr3> | import Control.Monad.Extra |
| 2024-05-20 15:37:50 +0200 | <danse-nr3> | > import Control.Monad.Extra |
| 2024-05-20 15:37:52 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 2024-05-20 15:39:18 +0200 | <danse-nr3> | huh i forgot how to use the bots ... |
| 2024-05-20 15:39:24 +0200 | <danse-nr3> | % import Control.Monad.Extra |
| 2024-05-20 15:39:24 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Monad.Extra’ ; Perhaps you meant ; Control.Monad.Catch (from exceptions-0.10.5) ; Control.Monad.Error (from mtl-2.2.2... |
| 2024-05-20 15:39:48 +0200 | <ncf> | you can use /query to figure it out |
| 2024-05-20 15:41:16 +0200 | <danse-nr3> | well i was thinking of something like untilJust anyways |
| 2024-05-20 15:57:27 +0200 | <carbolymer> | yeah maybe untilJust is a good idea |
| 2024-05-20 15:59:29 +0200 | <carbolymer> | I'm wondering if there's a datatype in hackage similar to `data Stream m a = StreamT (m a) (m (Stream m a))` |
| 2024-05-20 16:00:30 +0200 | <carbolymer> | @hoogle StreamT |
| 2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly type StreamT = SerialT |
| 2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly.Internal.Data.Stream.Serial type StreamT = SerialT |
| 2024-05-20 16:00:30 +0200 | <lambdabot> | System.Process.Typed data StreamType |
| 2024-05-20 16:03:40 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-05-20 16:04:34 +0200 | yin | (~yin@user/zero) |
| 2024-05-20 16:05:44 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) () |
| 2024-05-20 16:06:04 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-20 16:06:34 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-20 16:09:54 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
| 2024-05-20 16:20:12 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds) |
| 2024-05-20 16:34:33 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-05-20 16:36:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-20 16:36:11 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
| 2024-05-20 16:36:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 16:38:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 16:42:17 +0200 | cptaffe | (~cptaffe@user/cptaffe) |
| 2024-05-20 16:48:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 16:56:17 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 16:56:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-20 16:57:49 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 17:03:49 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 17:04:25 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 17:05:07 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-20 17:05:26 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 17:11:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 17:12:57 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 17:14:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 17:16:43 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-20 17:37:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 18:02:05 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-05-20 18:07:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 18:21:35 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 264 seconds) |
| 2024-05-20 18:22:21 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-05-20 18:27:04 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) (Read error: Connection reset by peer) |
| 2024-05-20 18:27:52 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) |
| 2024-05-20 18:28:02 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 18:35:59 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-05-20 18:36:01 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-05-20 18:42:35 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-05-20 18:43:36 +0200 | rvalue- | rvalue |
| 2024-05-20 18:47:57 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 18:48:55 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 255 seconds) |
| 2024-05-20 18:49:15 +0200 | farn_ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 2024-05-20 18:49:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 18:55:03 +0200 | phma_ | (~phma@host-67-44-208-139.hnremote.net) |
| 2024-05-20 18:58:05 +0200 | phma | (~phma@2001:5b0:210b:b498:a19:569a:587e:d186) (Ping timeout: 240 seconds) |
| 2024-05-20 19:03:17 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-05-20 19:03:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-20 19:06:32 +0200 | phma_ | phma |
| 2024-05-20 19:12:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-20 19:12:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 19:15:15 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 19:15:17 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) (Ping timeout: 240 seconds) |
| 2024-05-20 19:15:41 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-20 19:22:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 19:22:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-20 19:23:05 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 19:29:34 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-20 19:35:34 +0200 | housemate_ | (~housemate@2401:d002:b90d:1101:795a:3e19:6a0:7784) |
| 2024-05-20 19:35:41 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
| 2024-05-20 19:35:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 19:37:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2024-05-20 19:37:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-20 19:37:22 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-05-20 19:37:22 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-05-20 19:37:51 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
| 2024-05-20 19:40:16 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 19:42:40 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-05-20 19:43:01 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-05-20 19:43:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 19:46:13 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) |
| 2024-05-20 19:47:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 19:49:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-05-20 19:50:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-05-20 19:51:16 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
| 2024-05-20 19:51:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-05-20 19:54:53 +0200 | danse-nr3 | (~danse-nr3@151.43.161.82) (Ping timeout: 240 seconds) |
| 2024-05-20 19:58:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-20 19:58:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-20 20:00:06 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-20 20:02:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-05-20 20:03:10 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) |
| 2024-05-20 20:09:50 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-20 20:09:51 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 256 seconds) |
| 2024-05-20 20:11:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-20 20:14:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-20 20:16:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-20 20:26:02 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-20 20:29:50 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-20 20:33:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-05-20 20:38:35 +0200 | <lxsameer> | hey folks, sorry for my uneducated question: would it be possible to use a static c++ library with Haskell instead of FFI? |
| 2024-05-20 20:39:10 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-05-20 20:41:33 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 20:43:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 20:43:53 +0200 | <monochrom> | I don't understand the question, especially "instead". You have to go through FFI. |
| 2024-05-20 20:46:48 +0200 | <lxsameer> | monochrom: my bad, I want to link the static lib (cpp) in the final binary and don't want to use dl_open or something to that sort |
| 2024-05-20 20:47:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2024-05-20 20:47:40 +0200 | <tomsmeding> | interacting with a c++ API is probably a bad idea, with name mangling and so on, but if your c++ library exposes a C interface, then that should be doable via the standard procedures |
| 2024-05-20 20:47:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 20:48:03 +0200 | <tomsmeding> | tell cabal to link in extra-libraries |
| 2024-05-20 20:48:10 +0200 | bgamari | (~bgamari@64.223.226.84) (Ping timeout: 255 seconds) |
| 2024-05-20 20:48:23 +0200 | <tomsmeding> | and then expose its functions in haskell via the FFI |
| 2024-05-20 20:48:31 +0200 | <tomsmeding> | ('foreign' declarations) |
| 2024-05-20 20:48:57 +0200 | <monochrom> | So you are just asking about static linking. I have never needed it, but I heard other people doing it. |
| 2024-05-20 20:49:44 +0200 | <lxsameer> | tomsmeding: I can do a static C lib instead of cpp. I have control over that |
| 2024-05-20 20:50:06 +0200 | <lxsameer> | monochrom: yeah I need it to be static |
| 2024-05-20 20:50:10 +0200 | <tomsmeding> | I mean, it can be implemented in C++ all you like, as long as you put the functions you want to expose in an `extern "C" { }` block |
| 2024-05-20 20:50:50 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-05-20 20:51:47 +0200 | <tomsmeding> | though being implemented in c++ means that you'll need to also (dynamically) link against the c++ standard library |
| 2024-05-20 20:52:05 +0200 | <tomsmeding> | might be as easy as also putting libstdc++ or something similar in extra-libraries |
| 2024-05-20 20:52:06 +0200 | <lxsameer> | tomsmeding: i statically link against libc++ |
| 2024-05-20 20:52:19 +0200 | bgamari | (~bgamari@64.223.238.64) |
| 2024-05-20 20:52:21 +0200 | <tomsmeding> | ... you can do that? |
| 2024-05-20 20:52:24 +0200 | <lxsameer> | in general I want a static library |
| 2024-05-20 20:52:33 +0200 | <lxsameer> | oh yeah, libc++ is pretty easy |
| 2024-05-20 20:52:39 +0200 | <tomsmeding> | I know that glibc categorically disallows that |
| 2024-05-20 20:52:39 +0200 | <lxsameer> | *static binary |
| 2024-05-20 20:52:53 +0200 | <tomsmeding> | but maybe libc++ is easier on that |
| 2024-05-20 20:52:54 +0200 | <lxsameer> | tomsmeding: yeah, i use musl as well |
| 2024-05-20 20:52:59 +0200 | <tomsmeding> | ah I see |
| 2024-05-20 20:53:14 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-20 20:53:21 +0200 | <lxsameer> | my aim is to write parts of my application with haskell and parts in C for interfacing with llvm |
| 2024-05-20 20:53:24 +0200 | <tomsmeding> | lxsameer: this exists https://hasufell.github.io/posts/2024-04-21-static-linking.html |
| 2024-05-20 20:53:31 +0200 | <lxsameer> | but at the end I need a static executable |
| 2024-05-20 20:53:37 +0200 | <lxsameer> | oh cool thanks |
| 2024-05-20 20:53:47 +0200 | <tomsmeding> | says nothing about c++ specifically |
| 2024-05-20 20:54:00 +0200 | <tomsmeding> | but might contain pointers to stuff you need anyway |
| 2024-05-20 20:54:04 +0200 | <monochrom> | Someone has to write the extern"C"{...} API, and Haskell FFI can only call the C API. But it can be done. |
| 2024-05-20 20:54:13 +0200 | <lxsameer> | tomsmeding: cheers, it is definitely useful |
| 2024-05-20 20:54:20 +0200 | sadome | (~sadome@182.69.179.74) |
| 2024-05-20 20:54:20 +0200 | sadome | (~sadome@182.69.179.74) (Changing host) |
| 2024-05-20 20:54:20 +0200 | sadome | (~sadome@user/sadome) |
| 2024-05-20 20:54:21 +0200 | sadome | (~sadome@user/sadome) (Excess Flood) |
| 2024-05-20 20:55:10 +0200 | <lxsameer> | monochrom: awesome |
| 2024-05-20 20:55:15 +0200 | <sclv> | bytestring is probably the best example of linking c++ and using it, but that might be dynamic. i imagine you can toss the extra libraries into the link path and settings and it should be basically ok, but Extremely not portable for building https://hackage.haskell.org/package/bytestring-0.12.1.0/bytestring.cabal |
| 2024-05-20 20:55:51 +0200 | <monochrom> | OK, writing your own C API for what's morally C++ is an uphill battle in the worst case. But I'm just a theorist. |
| 2024-05-20 20:56:26 +0200 | <tomsmeding> | llvm has a C api for some part of its API surface |
| 2024-05-20 20:56:42 +0200 | <tomsmeding> | sclv: I don't see any c++ in that cabal file, just C? |
| 2024-05-20 20:56:57 +0200 | <lxsameer> | monochrom: since I'm going to interface llvm, the c api is already there |
| 2024-05-20 20:57:10 +0200 | <tomsmeding> | lxsameer: be aware that the llvm-hs package exists |
| 2024-05-20 20:57:22 +0200 | <tomsmeding> | on github there's a branch for llvm 15 |
| 2024-05-20 20:57:31 +0200 | <lxsameer> | tomsmeding: it's old |
| 2024-05-20 20:57:44 +0200 | <tomsmeding> | 15 is still old but less old :) |
| 2024-05-20 20:58:14 +0200 | <lxsameer> | :D indeed, but i might be able to use it as a reference |
| 2024-05-20 20:58:17 +0200 | <sclv> | whoops i meant text not bytestring https://hackage.haskell.org/package/text-2.1.1/text.cabal |
| 2024-05-20 20:58:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-20 20:59:05 +0200 | <tomsmeding> | ah there's a nice chunk of "let's get the c++ stdlib in there the hard way" code |
| 2024-05-20 20:59:19 +0200 | <monochrom> | Interesting, simdutf.cpp. Does that mean SIMD? |
| 2024-05-20 20:59:42 +0200 | <monochrom> | Using SIMD instructions for UTF??? encoding so it is faster? |
| 2024-05-20 20:59:51 +0200 | <tomsmeding> | yes, vectorised UTF* parsing |
| 2024-05-20 21:00:01 +0200 | <monochrom> | You people are nuts. >:) |
| 2024-05-20 21:00:05 +0200 | <sclv> | https://github.com/simdutf/simdutf <-- very fast, very complicated, very c++ |
| 2024-05-20 21:00:16 +0200 | <tomsmeding> | daniel lemire stuff |
| 2024-05-20 21:01:01 +0200 | <monochrom> | Next you are going to need a high-end GPU too... |
| 2024-05-20 21:01:18 +0200 | <monochrom> | if flag(gpuutf) ... |
| 2024-05-20 21:01:57 +0200 | <tomsmeding> | I feel like the bandwidth of the data connection to a gpu is less than the speed you can get with good simd code for utf parsing |
| 2024-05-20 21:02:11 +0200 | <Rembane> | I hope someone makes science on this |
| 2024-05-20 21:02:32 +0200 | <monochrom> | "Hi I have a question. Every time I run a progrma that uses Data.Text, my GPU frame rate drops to 1 FPS. What's going on?" >:) |
| 2024-05-20 21:03:30 +0200 | <mauke> | there's potential for fusion here |
| 2024-05-20 21:03:36 +0200 | <monochrom> | "Certain version of GHC crash on Windows, when TemplateHaskell encounters C++." Hahaha template wars. |
| 2024-05-20 21:03:55 +0200 | <tomsmeding> | haha oh no |
| 2024-05-20 21:03:56 +0200 | <mauke> | hw accelerated font rendering |
| 2024-05-20 21:04:08 +0200 | <mauke> | then do your utf8 decoding in the font |
| 2024-05-20 21:04:20 +0200 | <mauke> | with ligatures of the bytes or something |
| 2024-05-20 21:04:21 +0200 | <monochrom> | Haha TIL how to say "false" in cabal prolog: build-depends: base < 0 |
| 2024-05-20 21:04:34 +0200 | <tomsmeding> | don't you have `buildable: False` |
| 2024-05-20 21:04:41 +0200 | <tomsmeding> | perhaps this cabal file predates that |
| 2024-05-20 21:07:08 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-20 21:07:39 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-20 21:08:46 +0200 | <tomsmeding> | TIL this exists https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/assert.html#assertions |
| 2024-05-20 21:09:36 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-05-20 21:10:43 +0200 | <tomsmeding> | and it's apparently super old, judging from this comment right above 'assert': https://downloads.haskell.org/ghc/latest/docs/libraries/ghc-internal-9.1001.0-be1e/src//GHC.Intern… |
| 2024-05-20 21:10:54 +0200 | <monochrom> | Yeah GHC offered that when CallStack didn't exist back then. |
| 2024-05-20 21:11:16 +0200 | <tomsmeding> | it's vert C |
| 2024-05-20 21:11:18 +0200 | <tomsmeding> | 8very |
| 2024-05-20 21:11:21 +0200 | <tomsmeding> | *very |
| 2024-05-20 21:11:25 +0200 | <tomsmeding> | christ, I can't type any more |
| 2024-05-20 21:11:39 +0200 | <monochrom> | It's clearly inspired by C's assert. :) |
| 2024-05-20 21:16:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-20 21:16:14 +0200 | sam113102 | (~sam@24.157.253.231) |
| 2024-05-20 21:18:45 +0200 | sam113101 | (~sam@24.157.253.231) (Ping timeout: 255 seconds) |
| 2024-05-20 21:18:48 +0200 | sam113102 | sam113101 |
| 2024-05-20 21:19:37 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-20 21:20:35 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-05-20 21:24:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-05-20 21:28:59 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 21:44:09 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-20 21:48:31 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 21:48:51 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-20 21:49:15 +0200 | <justsomeguy> | What's the reccomended editor setup to get autocompletion, in-line docs, and linting? |
| 2024-05-20 21:49:39 +0200 | <tomsmeding> | probably the lowest-effort option is VSCode with the Haskell plugin |
| 2024-05-20 21:50:49 +0200 | <tomsmeding> | but because most of the functionality is contained in haskell-language-server, which is an LSP server, any editor that supports LSP will work (to the extent that LSP is supported etc.) |
| 2024-05-20 21:53:13 +0200 | <justsomeguy> | VSCode works well. I was going to untangle the spaghetti code in my dotfiles to get the LSP working with vim but honestly I don't think it's worth the effort. |
| 2024-05-20 21:53:40 +0200 | tomsmeding | uses LSP with neovim's builtin LSP support; it works, but there are some rough edges sometimes |
| 2024-05-20 21:54:47 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 272 seconds) |
| 2024-05-20 21:56:53 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 21:57:28 +0200 | <justsomeguy> | I should spend a weekend figuring out what an LSP really is and how to set it up properly. |
| 2024-05-20 21:58:45 +0200 | nickiminjaj | (~kvirc@user/laxhh) |
| 2024-05-20 21:58:57 +0200 | <geekosaur> | LSP per se is Language Server Protocol, a standard for language support services to communicate with editors. haskell-language-server is the language server for Haskell |
| 2024-05-20 21:59:15 +0200 | <geekosaur> | (there being others such as rust-analyzer) |
| 2024-05-20 21:59:28 +0200 | <tomsmeding> | justsomeguy: when you open a file in a language L in an editor, the editor spins up L's language server and tells it what file it is. Then whenever you make a change, it sends a message to the server describing the change. It then expects all the rest from the server in reply messages: diagnostics, code actions, etc. |
| 2024-05-20 21:59:56 +0200 | <monochrom> | LSP is the interface between editors and languages. So that if there are M editors and N languages, then there needs only M+N toolings rather than MxN toolings. |
| 2024-05-20 22:00:00 +0200 | <tomsmeding> | HLS in particular uses ghc as a library internally, hence it's intrinsically bound to a particular ghc version |
| 2024-05-20 22:00:30 +0200 | <tomsmeding> | look, you don't even have to do research, ask a question and you get answers in triplicate |
| 2024-05-20 22:00:38 +0200 | <justsomeguy> | :D |
| 2024-05-20 22:00:48 +0200 | <monochrom> | Recall how previously there were MxN "language plugins/modes". |
| 2024-05-20 22:00:53 +0200 | <geekosaur> | @quote antiphony |
| 2024-05-20 22:00:53 +0200 | <lambdabot> | No quotes match. My pet ferret can type better than you! |
| 2024-05-20 22:00:56 +0200 | <geekosaur> | bah |
| 2024-05-20 22:01:05 +0200 | <tomsmeding> | @quote fugue |
| 2024-05-20 22:01:06 +0200 | <lambdabot> | monochrom says: Welcome to #haskell, where your questions are answered in contrapuntal fugues. |
| 2024-05-20 22:01:08 +0200 | <tomsmeding> | that one? |
| 2024-05-20 22:01:10 +0200 | <monochrom> | :) |
| 2024-05-20 22:01:22 +0200 | <geekosaur> | ah yes, it's changed a few times |
| 2024-05-20 22:01:42 +0200 | fizbin__ | (~fizbin@user/fizbin) (Remote host closed the connection) |
| 2024-05-20 22:02:01 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-20 22:02:01 +0200 | <monochrom> | We have only @remember'ed two, Cale's stereo and my fugue. |
| 2024-05-20 22:02:02 +0200 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2024-05-20 22:02:03 +0200 | <darkling> | Just one question: why so simple? :) |
| 2024-05-20 22:02:28 +0200 | <mauke> | I used to have 1 editor (vim) and N language plugins |
| 2024-05-20 22:02:41 +0200 | <monochrom> | But antiphony sounds like destructive interference so all answers cancel out so there is silence. >:) |
| 2024-05-20 22:03:05 +0200 | <mauke> | now I need K hls versions in addition, one for each ghc version |
| 2024-05-20 22:03:06 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-20 22:03:12 +0200 | <geekosaur> | yeh, it was a sarcastic response to a bunch of answers that contradicted each other some years back |
| 2024-05-20 22:03:20 +0200 | <monochrom> | Oh haha nice. |
| 2024-05-20 22:03:24 +0200 | vgtw | (~vgtw@user/vgtw) |
| 2024-05-20 22:03:26 +0200 | <geekosaur> | s/response/reaction/ |
| 2024-05-20 22:04:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-20 22:04:45 +0200 | <monochrom> | Well, I may be responsible for part of that. There were a few rare times when other people said "yes" but I said "no". |
| 2024-05-20 22:05:01 +0200 | <ncf> | @where stereo |
| 2024-05-20 22:05:01 +0200 | <lambdabot> | I know nothing about stereo. |
| 2024-05-20 22:05:10 +0200 | <monochrom> | You want: |
| 2024-05-20 22:05:13 +0200 | <monochrom> | @quote stereo |
| 2024-05-20 22:05:13 +0200 | <lambdabot> | xplat says: Welcome to #haskell-blah, where your bot commands are executed in triumphant stereo! |
| 2024-05-20 22:05:21 +0200 | <monochrom> | err there is another one |
| 2024-05-20 22:05:24 +0200 | <monochrom> | @quote Cale stereo |
| 2024-05-20 22:05:24 +0200 | <lambdabot> | No quotes match. Do you think like you type? |
| 2024-05-20 22:06:14 +0200 | <geekosaur> | I am pretty sure that one disappeared years ago, when someone else took over lambdabot from dons but didn't get the databases along with it |
| 2024-05-20 22:06:37 +0200 | <EvanR> | I remember that one |
| 2024-05-20 22:06:38 +0200 | <monochrom> | OK I think you can PM lambdabot and keep asking @quote stereo, there are several fun ones. But it looks like Cale's original is lost. |
| 2024-05-20 22:07:33 +0200 | <monochrom> | It was basically my fugue one with s/contrapunctual fugue/majestic stereo/ |
| 2024-05-20 22:08:12 +0200 | <tomsmeding> | that sounds familiar to even me |
| 2024-05-20 22:08:18 +0200 | <tomsmeding> | and I'm young in this channel |
| 2024-05-20 22:08:36 +0200 | <monochrom> | But I love this one: |
| 2024-05-20 22:08:37 +0200 | <monochrom> | @quote scrollback.*stereo |
| 2024-05-20 22:08:37 +0200 | <lambdabot> | hpc says: here in #haskell we are aware that reading scrollback is hard, that's why we always answer in majestic stereo |
| 2024-05-20 22:09:41 +0200 | <ski> | @quote are.in.majestic |
| 2024-05-20 22:09:41 +0200 | <lambdabot> | monochrom says: Welcome to #haskell, where @remember's are in majestic stereo! |
| 2024-05-20 22:09:49 +0200 | <monochrom> | >:) |
| 2024-05-20 22:10:01 +0200 | <Rembane> | :D |
| 2024-05-20 22:11:32 +0200 | ski | needs to get something to drink |
| 2024-05-20 22:12:32 +0200 | sayola1 | (~sayola@ip-109-42-241-204.web.vodafone.de) |
| 2024-05-20 22:12:50 +0200 | <EvanR> | the power of the dot |
| 2024-05-20 22:13:56 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Ping timeout: 252 seconds) |
| 2024-05-20 22:15:33 +0200 | <ski> | (water) |
| 2024-05-20 22:18:14 +0200 | <tomsmeding> | @quote are in majestic |
| 2024-05-20 22:18:15 +0200 | <lambdabot> | No quotes for this person. And you call yourself a Rocket Surgeon! |
| 2024-05-20 22:18:24 +0200 | <tomsmeding> | oh it's name<space>regex? |
| 2024-05-20 22:18:51 +0200 | visilii_ | (~visilii@188.254.110.134) |
| 2024-05-20 22:19:46 +0200 | <ncf> | water is good |
| 2024-05-20 22:22:04 +0200 | visilii | (~visilii@188.254.126.77) (Ping timeout: 246 seconds) |
| 2024-05-20 22:22:17 +0200 | <monochrom> | Yeah it's regex or name regex |
| 2024-05-20 22:22:58 +0200 | visilii | (~visilii@188.254.126.159) |
| 2024-05-20 22:23:26 +0200 | zetef | (~quassel@5.2.182.98) |
| 2024-05-20 22:23:55 +0200 | visilii_ | (~visilii@188.254.110.134) (Ping timeout: 272 seconds) |
| 2024-05-20 22:30:42 +0200 | Square | (~Square@user/square) |
| 2024-05-20 22:30:43 +0200 | darkling | is reminded of a conference tote bag, carried by a colleague in the neuroscience department, which read: "It's not rocket surgery!" |
| 2024-05-20 22:36:07 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-20 22:36:21 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-20 22:48:00 +0200 | agent314 | (~quassel@184.75.215.3) (Ping timeout: 260 seconds) |
| 2024-05-20 22:48:15 +0200 | agent314 | (~quassel@184.75.215.3) |
| 2024-05-20 22:49:49 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-20 22:57:48 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-05-20 23:07:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-05-20 23:07:55 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-20 23:09:29 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2024-05-20 23:12:16 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 260 seconds) |
| 2024-05-20 23:17:57 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-20 23:20:00 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-05-20 23:22:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-20 23:33:37 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-05-20 23:35:06 +0200 | Flow | (~none@gentoo/developer/flow) (Ping timeout: 255 seconds) |
| 2024-05-20 23:35:17 +0200 | Riviera | (Riviera@user/riviera) (Quit: leaving) |
| 2024-05-20 23:36:55 +0200 | housemate_ | (~housemate@2401:d002:b90d:1101:795a:3e19:6a0:7784) (Remote host closed the connection) |
| 2024-05-20 23:37:52 +0200 | michalz | (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-20 23:43:13 +0200 | Flow | (~none@gentoo/developer/flow) |
| 2024-05-20 23:44:29 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-05-20 23:47:21 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-05-20 23:50:24 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-20 23:58:45 +0200 | euleritian | (~euleritia@dynamic-176-006-180-037.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |