| 2024-04-14 00:06:32 +0000 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-04-14 00:21:34 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-14 00:50:58 +0000 | <haskellbridge> | <maralorn> I found a solution which was muuuch simpler than dependent types or gadts. |
| 2024-04-14 00:56:47 +0000 | Achylles | (~Achylles@45.182.57.68) |
| 2024-04-14 00:59:31 +0000 | bilegeek | (~bilegeek@2600:1008:b02d:ef11:754d:9b5b:57de:50ec) |
| 2024-04-14 01:02:44 +0000 | Achylles | (~Achylles@45.182.57.68) (Quit: Leaving) |
| 2024-04-14 01:19:31 +0000 | schola | (~user@adsl196-214-137-206-196.adsl196-5.iam.net.ma) (Ping timeout: 268 seconds) |
| 2024-04-14 01:19:41 +0000 | aforemny_ | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 256 seconds) |
| 2024-04-14 01:20:03 +0000 | aforemny | (~aforemny@i59f516cd.versanet.de) |
| 2024-04-14 01:24:32 +0000 | aforemny | (~aforemny@i59f516cd.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-14 01:27:29 +0000 | aforemny | (~aforemny@i59F516FF.versanet.de) |
| 2024-04-14 01:33:38 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-14 01:34:27 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-04-14 01:37:41 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-14 01:38:01 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds) |
| 2024-04-14 01:48:35 +0000 | otto_s | (~user@p4ff27b6a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-04-14 01:50:09 +0000 | otto_s | (~user@p4ff27ad3.dip0.t-ipconnect.de) |
| 2024-04-14 01:53:53 +0000 | Cale | (~cale@2607:fea8:995f:f126:15c3:35a5:81ac:187c) (Remote host closed the connection) |
| 2024-04-14 02:02:45 +0000 | cipherrot | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-14 02:02:54 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-14 02:03:06 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-04-14 02:05:04 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-04-14 02:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-04-14 02:08:49 +0000 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-04-14 02:18:27 +0000 | Rodney_ | (~Rodney@176.254.244.83) (Ping timeout: 252 seconds) |
| 2024-04-14 02:28:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 02:31:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-04-14 02:42:37 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-14 02:45:30 +0000 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-04-14 02:47:35 +0000 | td_ | (~td@i53870916.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-14 02:49:23 +0000 | td_ | (~td@i53870917.versanet.de) |
| 2024-04-14 02:51:51 +0000 | halloy4906 | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) |
| 2024-04-14 02:57:36 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-14 03:04:55 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf2:5300:5b37:5bd9:dccf:fa2d) |
| 2024-04-14 03:04:58 +0000 | aforemny | (~aforemny@i59F516FF.versanet.de) (Ping timeout: 268 seconds) |
| 2024-04-14 03:17:36 +0000 | Guest3 | (~Guest3@2400:1a00:bd11:7ab6:2e0:4cff:fefc:a34d) |
| 2024-04-14 03:19:01 +0000 | Guest3 | (~Guest3@2400:1a00:bd11:7ab6:2e0:4cff:fefc:a34d) (Client Quit) |
| 2024-04-14 03:21:21 +0000 | <masaeedu> | well, don't leave us hanging... |
| 2024-04-14 03:24:07 +0000 | <masaeedu> | i have this problem frequently as well and would like to know of non-GADT solutions |
| 2024-04-14 03:29:36 +0000 | <halloy4906> | something like preventing meaningless events? say, open the door, open the door - second is invalid |
| 2024-04-14 03:29:46 +0000 | halloy4906 | reki |
| 2024-04-14 03:36:17 +0000 | <masaeedu> | reki: yes, exactly |
| 2024-04-14 03:36:31 +0000 | <masaeedu> | or at least assuming i understood the question correctly |
| 2024-04-14 03:38:59 +0000 | <reki> | also, elm architecture is really popular |
| 2024-04-14 03:40:56 +0000 | <reki> | though the problem seems complicated because ui can still be issuing the events when state has already been updated |
| 2024-04-14 03:48:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-14 03:48:57 +0000 | euleritian | (~euleritia@dynamic-176-004-193-163.176.4.pool.telefonica.de) |
| 2024-04-14 03:49:17 +0000 | euleritian | (~euleritia@dynamic-176-004-193-163.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-14 03:50:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-14 03:55:08 +0000 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-14 04:00:53 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf2:5300:5b37:5bd9:dccf:fa2d) (Ping timeout: 240 seconds) |
| 2024-04-14 04:01:41 +0000 | aforemny | (~aforemny@2001:9e8:6cf7:a400:800f:dec:5362:bd8) |
| 2024-04-14 04:02:07 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-14 04:03:47 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-14 04:08:28 +0000 | rosco | (~rosco@103.5.142.236) |
| 2024-04-14 04:21:01 +0000 | rosco | (~rosco@103.5.142.236) (Ping timeout: 272 seconds) |
| 2024-04-14 04:23:34 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-14 04:24:06 +0000 | rosco | (~rosco@2001:240:247e:d3ca:fbaa:7d65:ea77:119e) |
| 2024-04-14 04:25:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-14 04:32:39 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
| 2024-04-14 04:40:48 +0000 | <mauke> | I have discovered a truly marvelous solution, which this IRC channel is too narrow to contain |
| 2024-04-14 04:43:07 +0000 | bilegeek | (~bilegeek@2600:1008:b02d:ef11:754d:9b5b:57de:50ec) (Quit: Leaving) |
| 2024-04-14 04:47:49 +0000 | igemnace | (~ian@user/igemnace) |
| 2024-04-14 04:50:06 +0000 | <jcarpenter2> | :eyes: |
| 2024-04-14 04:53:28 +0000 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.2) |
| 2024-04-14 04:55:54 +0000 | rosco | (~rosco@2001:240:247e:d3ca:fbaa:7d65:ea77:119e) (Read error: Connection reset by peer) |
| 2024-04-14 04:56:35 +0000 | rosco | (~rosco@103.5.142.236) |
| 2024-04-14 05:03:41 +0000 | rosco | (~rosco@103.5.142.236) (Ping timeout: 268 seconds) |
| 2024-04-14 05:06:18 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 05:06:28 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Client Quit) |
| 2024-04-14 05:07:24 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 05:15:32 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Quit: Client closed) |
| 2024-04-14 05:20:29 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2024-04-14 05:25:39 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-14 05:28:02 +0000 | mei | (~mei@user/mei) |
| 2024-04-14 05:37:46 +0000 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-04-14 05:39:47 +0000 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) |
| 2024-04-14 05:40:20 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 05:51:48 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Quit: Client closed) |
| 2024-04-14 05:53:30 +0000 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2024-04-14 05:57:40 +0000 | rosco | (~rosco@2001:240:247e:d3ca:a250:fdc7:73cd:ae55) |
| 2024-04-14 06:03:52 +0000 | mei | (~mei@user/mei) |
| 2024-04-14 06:09:30 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-14 06:14:42 +0000 | mei | (~mei@user/mei) |
| 2024-04-14 06:15:55 +0000 | rosco | (~rosco@2001:240:247e:d3ca:a250:fdc7:73cd:ae55) (Ping timeout: 256 seconds) |
| 2024-04-14 06:16:21 +0000 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-14 06:18:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 06:27:40 +0000 | reki | (~halloy490@broadband-5-228-80-43.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2024-04-14 06:28:03 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-14 06:32:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-14 06:35:51 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-14 06:37:30 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-04-14 06:41:04 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-14 06:42:21 +0000 | akegalj | (~akegalj@85.114.55.14) |
| 2024-04-14 06:51:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 07:00:07 +0000 | tt12310 | (~tt1231@2603-6010-8700-4a81-219f-50d3-618a-a6ee.res6.spectrum.com) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-14 07:00:35 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2024-04-14 07:02:50 +0000 | tt12310 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-04-14 07:03:49 +0000 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2024-04-14 07:04:07 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-04-14 07:05:24 +0000 | rosco | (~rosco@2001:240:247e:d3ca:a250:fdc7:73cd:ae55) |
| 2024-04-14 07:06:41 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:4340:6ff2:d1b3:34d3) |
| 2024-04-14 07:28:19 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-14 07:28:40 +0000 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-14 07:42:09 +0000 | acidjnk | (~acidjnk@p200300d6e714dc113d01b076fdd4c432.dip0.t-ipconnect.de) |
| 2024-04-14 07:53:17 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-14 08:08:28 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 08:13:40 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Remote host closed the connection) |
| 2024-04-14 08:14:04 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 08:14:44 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-14 08:15:30 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-14 08:15:51 +0000 | Unhammer | (~Unhammer@user/unhammer) (WeeChat 2.3) |
| 2024-04-14 08:16:22 +0000 | rosco | (~rosco@2001:240:247e:d3ca:a250:fdc7:73cd:ae55) (Read error: Connection reset by peer) |
| 2024-04-14 08:16:38 +0000 | rosco | (~rosco@aq027043.dynamic.ppp.asahi-net.or.jp) |
| 2024-04-14 08:20:49 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-14 08:22:30 +0000 | akegalj | (~akegalj@85.114.55.14) (Remote host closed the connection) |
| 2024-04-14 08:23:34 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Remote host closed the connection) |
| 2024-04-14 08:23:58 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 08:24:58 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Remote host closed the connection) |
| 2024-04-14 08:25:23 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) |
| 2024-04-14 08:26:23 +0000 | jamegwaww | (~jamegwaww@2406:4440:0:103::1:c0) (Remote host closed the connection) |
| 2024-04-14 08:30:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 08:32:35 +0000 | mechap | (~mechap@user/mechap) |
| 2024-04-14 08:36:18 +0000 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-14 08:44:30 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-04-14 08:44:39 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2024-04-14 08:55:08 +0000 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) (Quit: Changing server) |
| 2024-04-14 09:21:18 +0000 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-14 09:22:29 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-14 09:26:19 +0000 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-14 09:32:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-14 09:38:35 +0000 | Core3173 | (~rosco@78.73.239.49.rev.vmobile.jp) |
| 2024-04-14 09:38:56 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:e6d6:c9c5:5502:ad12) (Quit: Ping timeout (120 seconds)) |
| 2024-04-14 09:39:18 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2024-04-14 09:40:29 +0000 | rosco | (~rosco@aq027043.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 256 seconds) |
| 2024-04-14 09:42:55 +0000 | arahael | (~arahael@119-18-1-21.771201.syd.nbn.aussiebb.net) |
| 2024-04-14 09:44:14 +0000 | Core3173 | (~rosco@78.73.239.49.rev.vmobile.jp) (Read error: Connection reset by peer) |
| 2024-04-14 09:44:29 +0000 | rosco | (~rosco@p9526033-ipngn13301marunouchi.tokyo.ocn.ne.jp) |
| 2024-04-14 09:48:53 +0000 | Core7074 | (~rosco@218.73.239.49.rev.vmobile.jp) |
| 2024-04-14 09:49:07 +0000 | rosco | (~rosco@p9526033-ipngn13301marunouchi.tokyo.ocn.ne.jp) (Ping timeout: 256 seconds) |
| 2024-04-14 09:56:53 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-14 10:04:49 +0000 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-14 10:05:21 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-04-14 10:19:25 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 10:20:42 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-14 10:20:55 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 10:38:36 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-14 10:39:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-04-14 10:39:59 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-04-14 10:40:00 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-14 11:02:40 +0000 | mrmr155334 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-04-14 11:08:42 +0000 | steew | (~steew@user/steew) (Ping timeout: 255 seconds) |
| 2024-04-14 11:09:06 +0000 | steew | (~steew@user/steew) |
| 2024-04-14 11:11:54 +0000 | endojelly | (~eselber_p@user/endojelly) (*.net *.split) |
| 2024-04-14 11:12:09 +0000 | endojelly | (~eselber_p@user/endojelly) |
| 2024-04-14 11:13:59 +0000 | steew | (~steew@user/steew) (Ping timeout: 268 seconds) |
| 2024-04-14 11:13:59 +0000 | steew_ | (~steew@user/steew) |
| 2024-04-14 11:14:07 +0000 | steew_ | steew |
| 2024-04-14 11:20:14 +0000 | mrmr1553343 | (~mrmr@user/mrmr) |
| 2024-04-14 11:23:48 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-14 11:23:51 +0000 | steew | (~steew@user/steew) (Ping timeout: 268 seconds) |
| 2024-04-14 11:24:11 +0000 | ridcully | (~ridcully@p508accab.dip0.t-ipconnect.de) (Quit: WeeChat 4.2.1) |
| 2024-04-14 11:24:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-14 11:39:24 +0000 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-14 11:40:05 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 11:40:05 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 11:41:16 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-14 11:44:55 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2024-04-14 11:45:11 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 11:46:55 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 11:47:21 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 11:47:21 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 11:48:02 +0000 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:dfc3:9e72:7820:1411) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-04-14 11:51:07 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2024-04-14 11:51:25 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-14 11:51:38 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 11:51:55 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 11:58:07 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:00:22 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:03:52 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 12:08:55 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:09:24 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:09:24 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:12:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-14 12:13:31 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:14:14 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:27:21 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 12:27:49 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:28:46 +0000 | ridcully | (~ridcully@p508accab.dip0.t-ipconnect.de) |
| 2024-04-14 12:31:01 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:31:01 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:31:56 +0000 | Achylles | (~Achylles@45.182.57.98) |
| 2024-04-14 12:34:40 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:4340:6ff2:d1b3:34d3) (Quit: Leaving) |
| 2024-04-14 12:37:38 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:38:32 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:41:02 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-14 12:42:09 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 12:42:39 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:43:27 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:43:27 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:50:25 +0000 | mei | (~mei@user/mei) |
| 2024-04-14 12:51:59 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 12:52:28 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 12:56:57 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 12:56:57 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 13:05:11 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 13:06:43 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 13:08:47 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 13:08:47 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 13:11:59 +0000 | xdminsy | (~xdminsy@117.147.70.203) |
| 2024-04-14 13:12:06 +0000 | rosco | (~rosco@2001:240:247d:f09:7603:e4f6:cda0:34bc) |
| 2024-04-14 13:13:32 +0000 | n8n | (n8n@user/n8n) |
| 2024-04-14 13:14:49 +0000 | Core7074 | (~rosco@218.73.239.49.rev.vmobile.jp) (Ping timeout: 246 seconds) |
| 2024-04-14 13:22:36 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 13:22:55 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-14 13:23:06 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 13:26:36 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 13:26:36 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 13:26:55 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-14 13:27:20 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-14 13:28:37 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 13:30:06 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 13:32:06 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-14 13:52:20 +0000 | rosco | (~rosco@2001:240:247d:f09:7603:e4f6:cda0:34bc) (Read error: Connection reset by peer) |
| 2024-04-14 13:52:35 +0000 | rosco | (~rosco@aq027043.dynamic.ppp.asahi-net.or.jp) |
| 2024-04-14 14:00:30 +0000 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-04-14 14:00:44 +0000 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
| 2024-04-14 14:04:34 +0000 | Inst_ | (~Inst@user/Inst) |
| 2024-04-14 14:04:37 +0000 | Inst_ | Inst |
| 2024-04-14 14:06:46 +0000 | Flow | (~none@gentoo/developer/flow) (Quit: WeeChat 4.1.2) |
| 2024-04-14 14:07:05 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-14 14:09:37 +0000 | Flow | (~none@gentoo/developer/flow) |
| 2024-04-14 14:10:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-14 14:13:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-14 14:18:16 +0000 | <Inst> | erm, I'm playing with variadic functions in haskell |
| 2024-04-14 14:22:17 +0000 | <Inst> | For variadic functions, is there any way I can get the default out of this? |
| 2024-04-14 14:22:20 +0000 | <Inst> | https://paste.tomsmeding.com/ZgfO2cG5 |
| 2024-04-14 14:24:50 +0000 | <ncf> | what do you mean by get the default? |
| 2024-04-14 14:25:56 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-04-14 14:28:03 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-04-14 14:28:50 +0000 | <tomsmeding> | Inst: try 'instance (Foo a, arg ~ Int) => Foo (arg -> a) where' |
| 2024-04-14 14:29:09 +0000 | <Inst> | there's a default declaration here |
| 2024-04-14 14:29:14 +0000 | <Inst> | and thanks for being helpful ncf :) |
| 2024-04-14 14:29:35 +0000 | <ncf> | oh you mean get rid of it? |
| 2024-04-14 14:29:38 +0000 | <tomsmeding> | instance matching is greedy and doesn't look at the context of the instance, so 'Foo (Int -> a)' will only be chosen if GHC can already otherwise determine that the argument has type Int |
| 2024-04-14 14:30:07 +0000 | <tomsmeding> | if you generalise the thing to 'Foo (arg -> a)' then the instance will always match, and subsequently the instance context will enforce that the argument should actually be Int |
| 2024-04-14 14:30:41 +0000 | <Inst> | ah, so it's not an issue with Haskell |
| 2024-04-14 14:31:00 +0000 | <tomsmeding> | of course, this trick doesn't work if you want to have multiple choices for the type of the argument |
| 2024-04-14 14:31:51 +0000 | <Inst> | IIRC, what was the reason that typeclass abuse became acknowledged as typeclass abuse in Haskell? |
| 2024-04-14 14:42:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 14:44:32 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-14 14:46:19 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 14:46:19 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 14:51:04 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 14:52:11 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-14 14:52:53 +0000 | euleritian | (~euleritia@dynamic-176-004-201-124.176.4.pool.telefonica.de) |
| 2024-04-14 14:54:33 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 14:59:22 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 14:59:22 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 15:01:33 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 15:01:42 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 15:05:11 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 15:05:14 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-14 15:07:28 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-14 15:07:51 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 15:09:26 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-14 15:09:48 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 15:11:50 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 15:12:53 +0000 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-14 15:13:46 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 15:14:15 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 15:18:06 +0000 | son0p | (~ff@167.0.178.102) (Quit: Leaving) |
| 2024-04-14 15:26:38 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-14 15:30:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-14 15:32:54 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) |
| 2024-04-14 15:33:31 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:c6fc:f2be:996d:d3c2) |
| 2024-04-14 15:50:01 +0000 | <Inst> | sm |
| 2024-04-14 15:50:17 +0000 | <Inst> | do you have a link to typeclassopaedia? I saw it a couple of years back, but I haven't been able to find the link to it anymore |
| 2024-04-14 15:50:30 +0000 | n8n | (n8n@user/n8n) (Quit: WeeChat 4.2.2) |
| 2024-04-14 15:51:57 +0000 | <geekosaur> | https://wiki.haskell.org/Typeclassopedia first hit for "haskell typeclassopedia" for me… |
| 2024-04-14 15:52:04 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-14 15:56:35 +0000 | <Inst> | i remember there used to be a dedicated website for that |
| 2024-04-14 16:00:22 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-04-14 16:01:32 +0000 | <haskellbridge> | <sm> https://haskell-links.org |
| 2024-04-14 16:04:46 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-04-14 16:07:58 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-04-14 16:08:00 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Max SendQ exceeded) |
| 2024-04-14 16:08:04 +0000 | myxos | (~myxos@065-028-251-121.inf.spectrum.com) (Remote host closed the connection) |
| 2024-04-14 16:09:39 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-04-14 16:13:17 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-14 16:13:30 +0000 | nickiminjaj | (~kvirc@188.146.120.15) |
| 2024-04-14 16:13:30 +0000 | nickiminjaj | (~kvirc@188.146.120.15) (Changing host) |
| 2024-04-14 16:13:30 +0000 | nickiminjaj | (~kvirc@user/laxhh) |
| 2024-04-14 16:16:45 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-04-14 16:17:06 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-04-14 16:17:07 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-14 16:19:06 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-14 16:24:33 +0000 | myxos | (~myxos@65.28.251.121) |
| 2024-04-14 16:30:01 +0000 | Square | (~Square@user/square) |
| 2024-04-14 16:44:07 +0000 | <sm> | speaking of which.. I'm confused why squarespace is contacting me to renew this.. did they buy up my registrar ? seems unlikely |
| 2024-04-14 16:48:14 +0000 | <sm> | oh wow.. yes, they took over google domains |
| 2024-04-14 16:48:42 +0000 | <geekosaur> | that was reported here a couple weeks ago, yes |
| 2024-04-14 16:49:19 +0000 | <geekosaur> | better than google's usual behavior of just dropping the service entirely… |
| 2024-04-14 16:56:57 +0000 | mei | (~mei@user/mei) (Ping timeout: 256 seconds) |
| 2024-04-14 17:02:47 +0000 | <EvanR> | google domains R.I.P. |
| 2024-04-14 17:03:31 +0000 | <monochrom> | Can't wait until they also kill their AI effort. >:) |
| 2024-04-14 17:03:40 +0000 | mei | (~mei@user/mei) |
| 2024-04-14 17:06:20 +0000 | Guest|82 | (~Guest|82@197.218.78.12) |
| 2024-04-14 17:08:08 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-14 17:21:08 +0000 | euleritian | (~euleritia@dynamic-176-004-201-124.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-14 17:21:26 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-14 17:31:19 +0000 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) |
| 2024-04-14 17:33:08 +0000 | lyxia | (~lyxia@poisson.chat) (Quit: WeeChat 4.2.1) |
| 2024-04-14 17:35:33 +0000 | lyxia | (~lyxia@poisson.chat) |
| 2024-04-14 17:37:49 +0000 | sm | initiates transfer proceedings |
| 2024-04-14 17:39:40 +0000 | <tomsmeding> | sm: where are you moving it to? |
| 2024-04-14 17:40:46 +0000 | <sm> | Cloudflare. I have my other domains there, and it's non-spammy and powerful. Probably has lots of other issues.. (centralisation..) |
| 2024-04-14 17:41:41 +0000 | Guest|82 | (~Guest|82@197.218.78.12) (Ping timeout: 240 seconds) |
| 2024-04-14 17:46:04 +0000 | michalz | (~michalz@185.246.207.215) |
| 2024-04-14 17:46:13 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:c6fc:f2be:996d:d3c2) (Remote host closed the connection) |
| 2024-04-14 17:53:56 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 17:53:56 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 17:54:12 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) (Remote host closed the connection) |
| 2024-04-14 17:59:48 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 18:01:57 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 18:06:27 +0000 | dcoutts | (~duncan@cpc69400-oxfd27-2-0-cust750.4-3.cable.virginm.net) |
| 2024-04-14 18:06:36 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
| 2024-04-14 18:07:18 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:481b:c24b:5e55:697d) |
| 2024-04-14 18:08:50 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 18:09:15 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 18:13:43 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 18:16:12 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 18:17:52 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Remote host closed the connection) |
| 2024-04-14 18:19:15 +0000 | steew | (~steew@user/steew) |
| 2024-04-14 18:22:34 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-14 18:22:57 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-04-14 18:23:41 +0000 | euleritian | (~euleritia@dynamic-176-004-201-124.176.4.pool.telefonica.de) |
| 2024-04-14 18:24:23 +0000 | <juri_> | monochrom: i can't wait until i can do AI stuff in haskell. doing assembly by hand, currently. |
| 2024-04-14 18:26:31 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-04-14 18:26:57 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) |
| 2024-04-14 18:32:19 +0000 | sammelweis | (~quassel@96.76.243.253) |
| 2024-04-14 18:32:35 +0000 | xdminsy | (~xdminsy@117.147.70.203) (Read error: Connection reset by peer) |
| 2024-04-14 18:33:04 +0000 | <Inst> | https://paste.tomsmeding.com/NAEXh8x7 |
| 2024-04-14 18:33:08 +0000 | <Inst> | this code still doesn't work :( |
| 2024-04-14 18:33:40 +0000 | euleritian | (~euleritia@dynamic-176-004-201-124.176.4.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-14 18:33:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-14 18:35:50 +0000 | causal | (~eric@50.35.88.207) |
| 2024-04-14 18:36:03 +0000 | <Inst> | IIRC there's Varargs support in universum |
| 2024-04-14 18:38:52 +0000 | <geekosaur> | how is that supposed to work? you are assuming that the only possible instance for the inner `foo` is `Int`, but typeclasses are open-world |
| 2024-04-14 18:39:25 +0000 | <geekosaur> | that is, nothing stops someone from defining an `instance Foo String` which would then not typecheck |
| 2024-04-14 18:40:07 +0000 | <tomsmeding> | juri_: is the AI stuff and the assembly related? |
| 2024-04-14 18:40:26 +0000 | <Inst> | ah |
| 2024-04-14 18:41:02 +0000 | <Inst> | Just playing around with varargs, I mean, I can copy the pattern from printf, but that feels clunky |
| 2024-04-14 18:42:27 +0000 | pavonia | (~user@user/siracusa) |
| 2024-04-14 18:42:50 +0000 | <juri_> | tomsmeding: very. |
| 2024-04-14 18:43:22 +0000 | <juri_> | tomsmeding: https://github.com/ggerganov/llama.cpp/pull/6440 |
| 2024-04-14 18:43:23 +0000 | tomsmeding | is curious, also how haskell would improve things |
| 2024-04-14 18:44:40 +0000 | r5c4571lh01987 | (~rscastilh@179.221.142.8) (Remote host closed the connection) |
| 2024-04-14 18:45:05 +0000 | <juri_> | i don't have any good answers, sadly. I think I might be back to haskell when i start working in FPGAs.. |
| 2024-04-14 18:45:24 +0000 | <tomsmeding> | cool stuff! |
| 2024-04-14 18:46:26 +0000 | nickiminjaj|2 | (~kvirc@apn-31-0-68-81.dynamic.gprs.plus.pl) |
| 2024-04-14 18:46:53 +0000 | <tomsmeding> | writing that assembly inline in C string literals must be painful |
| 2024-04-14 18:47:42 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 18:47:42 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 18:48:20 +0000 | <juri_> | not as painful as managing pointer arithmatic in C and in inline assembly. |
| 2024-04-14 18:48:40 +0000 | <tomsmeding> | heh |
| 2024-04-14 18:48:46 +0000 | <juri_> | they're not actually different worlds, but they can feel like it. |
| 2024-04-14 18:49:33 +0000 | nickiminjaj | (~kvirc@user/laxhh) (Ping timeout: 252 seconds) |
| 2024-04-14 18:49:42 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 18:49:50 +0000 | nickiminjaj | (~kvirc@apn-31-0-68-81.dynamic.gprs.plus.pl) |
| 2024-04-14 18:50:03 +0000 | haocrcmt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 2024-04-14 18:50:10 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 18:50:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 18:50:26 +0000 | haocrcmt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-14 18:52:33 +0000 | <tomsmeding> | I feel like if what you're interested in is low-level performance optimisations on particular hardware, haskell is not the tool to reach for |
| 2024-04-14 18:52:50 +0000 | <tomsmeding> | haskell is good for composition and abstraction in a safe way |
| 2024-04-14 18:52:59 +0000 | nickiminjaj|2 | (~kvirc@apn-31-0-68-81.dynamic.gprs.plus.pl) (Ping timeout: 256 seconds) |
| 2024-04-14 18:53:08 +0000 | <tomsmeding> | (where python is good for glueing and duct-taping together) |
| 2024-04-14 18:57:26 +0000 | <EvanR> | can't haskell be "good" at gluing and duct-taping together things |
| 2024-04-14 18:58:06 +0000 | <EvanR> | in the sense of python |
| 2024-04-14 19:01:52 +0000 | <Inst> | is there any way to get a TC variadic that produces a lambda behind it? |
| 2024-04-14 19:02:41 +0000 | Achylles | (~Achylles@45.182.57.98) (Quit: Leaving) |
| 2024-04-14 19:03:17 +0000 | <Inst> | because, ummm, Oleg Kiselyov's paper seems to use accumulating parameter |
| 2024-04-14 19:03:45 +0000 | <EvanR> | haskell's overlooked object system |
| 2024-04-14 19:03:56 +0000 | <EvanR> | (probably for the best) |
| 2024-04-14 19:05:02 +0000 | <Inst> | was referencing this: https://okmij.org/ftp/Haskell/polyvariadic.html#polyvar-fn |
| 2024-04-14 19:05:44 +0000 | <Inst> | https://arxiv.org/pdf/cs/0509027.pdf |
| 2024-04-14 19:05:48 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:05:49 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:06:28 +0000 | <Inst> | thanks EvanR |
| 2024-04-14 19:09:20 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:10:51 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 19:13:28 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:13:28 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:16:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-04-14 19:17:01 +0000 | euleritian | (~euleritia@dynamic-176-004-201-124.176.4.pool.telefonica.de) |
| 2024-04-14 19:20:26 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-14 19:20:50 +0000 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer) |
| 2024-04-14 19:21:51 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:6221:c407:995f:5743) |
| 2024-04-14 19:22:07 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 19:23:08 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:23:30 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:23:30 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:23:53 +0000 | nickiminjaj | (~kvirc@apn-31-0-68-81.dynamic.gprs.plus.pl) (Read error: Connection reset by peer) |
| 2024-04-14 19:26:45 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-14 19:27:30 +0000 | waleee | (~waleee@h-176-10-144-38.na.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-04-14 19:28:25 +0000 | ChanServ | +o litharge |
| 2024-04-14 19:28:26 +0000 | litharge | -bo *!*@149.19.169.195 litharge |
| 2024-04-14 19:30:24 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2024-04-14 19:31:09 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 19:32:04 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.66) |
| 2024-04-14 19:33:20 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-14 19:35:37 +0000 | AlexNoo | (~AlexNoo@178.34.160.182) (Ping timeout: 256 seconds) |
| 2024-04-14 19:35:59 +0000 | AlexZenon | (~alzenon@178.34.160.182) (Ping timeout: 264 seconds) |
| 2024-04-14 19:37:44 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:37:51 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-14 19:39:39 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:39:39 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:41:32 +0000 | AlexZenon | (~alzenon@178.34.161.66) |
| 2024-04-14 19:45:02 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:45:30 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 19:45:39 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-04-14 19:46:11 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:46:11 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:48:08 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:48:27 +0000 | <juri_> | tomsmeding: you're probably right. in C / Assembly / ???, its sacrifice everything for performance. composing these high performance frameworks into a product is where i want haskell. i can hit a C compiler with a wrench when i need to, but hitting GHC is a little more complicated. |
| 2024-04-14 19:48:36 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 19:49:39 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-14 19:49:56 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:49:56 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:51:41 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-14 19:52:09 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-14 19:52:34 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 19:52:55 +0000 | <tomsmeding> | what would hitting GHC with a wrench entail :p |
| 2024-04-14 19:53:12 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-14 19:53:49 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 19:54:10 +0000 | <geekosaur> | that's `accursedUnutterablePerformIO` 😛 |
| 2024-04-14 19:54:41 +0000 | <juri_> | I don't know! and that's the frustrating part. I really wish GHC was using a C compiler under the hood. more steps in the pipeline makes bending the pipeline easier. |
| 2024-04-14 19:54:59 +0000 | <juri_> | (ok, i'll stop ranting now. GRR, i hate C!) |
| 2024-04-14 19:55:14 +0000 | <tomsmeding> | use GHC 7 or so, it had -fvia-C :p |
| 2024-04-14 19:55:38 +0000 | <juri_> | Want. :) |
| 2024-04-14 19:55:44 +0000 | <geekosaur> | although actually you don't because the C it produced was pretty grody |
| 2024-04-14 19:56:14 +0000 | <geekosaur> | and then got postprocessed by a Perl script |
| 2024-04-14 19:56:39 +0000 | <juri_> | sounds like exactly what i'm looking for. ;) |
| 2024-04-14 19:57:13 +0000 | <EvanR> | does ghc have plugins for the intermediate stages of compilation, or just type checking |
| 2024-04-14 19:57:16 +0000 | <geekosaur> | I think -fvia-C went away in 7.2 |
| 2024-04-14 19:57:29 +0000 | <tomsmeding> | microhs also compiles via "C" https://github.com/augustss/MicroHs/tree/master/generated |
| 2024-04-14 19:58:00 +0000 | <geekosaur> | some intermediate stages https://downloads.haskell.org/ghc/9.8.1/docs/users_guide/extending_ghc.html#compiler-plugins |
| 2024-04-14 19:58:01 +0000 | <EvanR> | C"" |
| 2024-04-14 20:01:48 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-14 20:02:55 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 20:03:24 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 20:04:13 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-04-14 20:06:54 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 20:06:54 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 20:07:19 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-14 20:13:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-14 20:14:02 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-14 20:17:39 +0000 | dispater- | (~dispater@217.155.58.82) |
| 2024-04-14 20:18:41 +0000 | yeitrafferin | (~user@2a04:4540:720a:bd00:481b:c24b:5e55:697d) (Quit: Leaving) |
| 2024-04-14 20:19:00 +0000 | dispater- | (~dispater@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 20:27:36 +0000 | <Inst> | hmmm, that is cool, you can build a naive hlist with tuples and polymorphism |
| 2024-04-14 20:27:45 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-14 20:28:32 +0000 | <Inst> | I looked up the paper trial, it was because of this kata |
| 2024-04-14 20:28:51 +0000 | <Inst> | https://www.codewars.com/kata/55a4de202949dca9bd000088/ |
| 2024-04-14 20:29:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-14 20:29:06 +0000 | <Inst> | I took an interest in varargs since it naturally seemed to have been looking for varargs solutions |
| 2024-04-14 20:29:27 +0000 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-14 20:29:40 +0000 | <Inst> | btw, if you want to get 1kyu quick on Codewars, just use Haskell; they apparently have a ton of misranked Kata because they're in Haskell and/or Haskell specific |
| 2024-04-14 20:30:07 +0000 | <EvanR> | varargs: [arg] -> A |
| 2024-04-14 20:30:48 +0000 | orcus | (~orcus@217.155.58.82) |
| 2024-04-14 20:31:11 +0000 | orcus | (~orcus@217.155.58.82) (Remote host closed the connection) |
| 2024-04-14 20:31:36 +0000 | <Inst> | paper trail |
| 2024-04-14 20:31:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-14 20:32:12 +0000 | <Inst> | yeah i saw that technique in some Haskell console libs |
| 2024-04-14 20:32:17 +0000 | <Inst> | i probably should play with Brick one of these days |
| 2024-04-14 20:32:23 +0000 | <Inst> | i still owe you guys a game |
| 2024-04-14 20:36:12 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-04-14 20:39:34 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-14 20:40:36 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-04-14 20:56:10 +0000 | vnogueira | (~vnogueira@user/vnogueira) (Ping timeout: 260 seconds) |
| 2024-04-14 21:00:34 +0000 | <Inst> | just curious, but is there a way to get Tuples to parse unit as a nil for an hlist? |
| 2024-04-14 21:09:15 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-14 21:19:08 +0000 | mud | (~mud@user/kadoban) |
| 2024-04-14 21:25:11 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-14 21:28:18 +0000 | steew | (~steew@user/steew) (Ping timeout: 256 seconds) |
| 2024-04-14 21:30:14 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-14 21:30:50 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-14 21:30:54 +0000 | steew | (~steew@user/steew) |
| 2024-04-14 21:32:35 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) |
| 2024-04-14 21:34:13 +0000 | r5c4571lh01987 | (rscastilho@179.221.142.8) (Remote host closed the connection) |
| 2024-04-14 21:34:39 +0000 | <cheater> | i ran hasktags -bx . and set vim to use TAGS and all the tags are off by one line. anyone know why that happens? |
| 2024-04-14 21:38:17 +0000 | ph88 | (~ph88@91.64.63.48) |
| 2024-04-14 21:41:00 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-14 21:43:45 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-04-14 21:47:38 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-14 21:49:17 +0000 | qqq_ | (~qqq@92.43.167.61) |
| 2024-04-14 21:51:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-14 21:51:52 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-14 21:53:33 +0000 | qqq_ | (~qqq@92.43.167.61) (Client Quit) |
| 2024-04-14 22:04:06 +0000 | ph88 | (~ph88@91.64.63.48) (Remote host closed the connection) |
| 2024-04-14 22:11:39 +0000 | Achylles_ | (~Achylles@45.182.57.98) |
| 2024-04-14 22:24:00 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-14 22:31:13 +0000 | Achylles_ | (~Achylles@45.182.57.98) (Remote host closed the connection) |
| 2024-04-14 22:32:04 +0000 | bitmapper_ | (uid464869@id-464869.lymington.irccloud.com) |
| 2024-04-14 22:36:53 +0000 | bitmapper_ | bitmapper |
| 2024-04-14 22:51:47 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-14 22:59:58 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-14 23:00:12 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Client Quit) |
| 2024-04-14 23:09:42 +0000 | <haskellbridge> | <sm> Liamzee: ansi-terminal-game is better suited to games |
| 2024-04-14 23:11:27 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-14 23:15:28 +0000 | <janus> | cheater: i don't know but i use fast-tags: https://hackage.haskell.org/package/fast-tags |
| 2024-04-14 23:15:45 +0000 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-14 23:18:19 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 256 seconds) |
| 2024-04-14 23:40:18 +0000 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-04-14 23:41:06 +0000 | acidjnk | (~acidjnk@p200300d6e714dc113d01b076fdd4c432.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-04-14 23:41:12 +0000 | <Inst> | thanks for the suggestion @sm |
| 2024-04-14 23:41:26 +0000 | <Inst> | also, I'm not being reckless, and this is embarrassing, but... |
| 2024-04-14 23:41:43 +0000 | <Inst> | I'm testing hackage-server right now on my system, and I can't get the behavior to be the way I need it to be |
| 2024-04-14 23:41:56 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2024-04-14 23:42:36 +0000 | <geekosaur> | you probably want to ask in #hackage:matrix.org |
| 2024-04-14 23:42:46 +0000 | <geekosaur> | (or #hackage on libera) |
| 2024-04-14 23:44:23 +0000 | <Inst> | thanks |
| 2024-04-14 23:44:43 +0000 | <geekosaur> | that said, there's no guarantee that "the way you need it to be" was included as a design consideration |
| 2024-04-14 23:45:19 +0000 | <Inst> | oh, it's simply getting browse to sort by lastUpload |
| 2024-04-14 23:54:28 +0000 | <Inst> | so unless I'm missing something, sm, doesn't seem to be as simple as you suggested? |
| 2024-04-14 23:54:39 +0000 | <Inst> | in ref to a convo a couple of days back |
| 2024-04-14 23:59:11 +0000 | <Inst> | sm: should I consider this beyond my paygrade and simply submit it as an issue and walk off? |
| 2024-04-14 23:59:37 +0000 | mud | (~mud@user/kadoban) (Quit: quit) |