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